J. M. E. Hyland. Conway games and linear logic. Unpublished lecture, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992) (132 citations) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1994) (132 citations) (Correct)
Fair Games and Full Completeness for Multiplicative Linear.. - Hyland, Ong (1993) (25 citations) Self-citation (Hyland) (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