R. Loader, Linear Logic, Totality and Full Completeness, Proc. Logic in Computer Science (LICS) 1994, IEEE Computer Science Press.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Linear Läuchli Semantics - Blute, Scott   (Correct)

No context found.

R. Loader, Linear Logic, Totality and Full Completeness, Proc. Logic in Computer Science (LICS) 1994, IEEE Computer Science Press.

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