Linear Higher-Order Pre-Unification (Extended Abstract) (1996)  (Make Corrections)   Iliano Cervesato, Frank PfenningProceedings of the Eleventh Annual Symposium on Logic in Computer Science --- LICS'96   Home/Search   Context   Related

View or download: cmu.edu/~fp/public/elfp...pstt96.ps.gz cmu.edu/~fp/papers/pstt96.ps.gz cmu.edu/afs/cs/user/fp/p...pstt96.ps.gz Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  cmu.edu/~fp/public/elfpa...INDEX (more) From:  cmu.edu/afs/cs/user/fp/pu...INDEX (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ cervesato96linear,
    author = "Iliano Cervesato and Frank Pfenning",
    title = "A Linear Logical Framework",
    booktitle = "Proceedings of the Eleventh Annual Symposium on Logic in Computer Science --- {LICS}'96",
    month = "27--30 July",
    publisher = "IEEE Computer Society Press",
    address = "New Brunswick, New Jersey",
    editor = "E. Clarke",
    pages = "264--275",
    year = "1996",
    url = "citeseer.ist.psu.edu/article/cervesato96linear.html" }