Randy Pollack. Implicit syntax. Unpublished notes to a talk given at the First Workshop on Logical Frameworks in Antibes, May 1990.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

Logic Programming in the LF Logical Framework - Pfenning (1991)   (138 citations)  (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC