CiteSeer.IST Home  Similar documents based on text:  Some Semantical Aspects of Linear Logic - Blass (1997)   (Correct)

Similar documents based on text:   All related documents
0.2:   Homotopy and Homology of Finite Lattices - Andreas Blass Mathematics   (Correct)
0.1:   Feedback for Linearly Distributive Categories: Traces and.. - Blute, Cockett, Seely (1999)   (Correct)
0.1:   Fair Games and Full Completeness for Multiplicative Linear.. - Hyland, Ong (1993)   (Correct)
0.1:   Linear Logic, Monads, and the Lambda Calculus - Benton, Wadler (1995)   (Correct)
0.1:   Semantics of Interaction - Abramsky (1997)   (Correct)
0.1:   Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics - Pratt (1998)   (Correct)
0.1:   A Formulation of Linear Logic Based on Dependency-Relations - Braüner, de Paiva (1997)   (Correct)
0.1:   Modified Realizability Toposes and Strong Normalization Proofs.. - Hyland, Ong (1993)   (Correct)
0.1:   A computational model of classical linear logic: Is.. - Carlsson, Wadler (1997)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC