P. J. Freyd and A. Scedrov. Categories, Allegories, volume 39 of North-Holland Mathematical Library. Elsevier Science Publishers, 1991. 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)
Interaction Categories and the Foundations of Typed.. - Abramsky, Gay, Nagarajan (1995) (29 citations) (Correct)
New Foundations for the Geometry of Interaction - Abramsky, Jagadeesan (1993) (27 citations) (Correct)
Presheaf Models Concurrency - Cattani (1999) (35 citations) (Correct)
A Study on Symmetric Quotients - Furusawa, Kahl (1998) (Correct)
Geometric And Higher Order Logic In Terms Of Abstract Stone Duality - Taylor (2000) (Correct)
Specification of Communication Protocols: Extending timing.. - Fischer (1999) (Correct)
New Foundations for the Geometry of Interaction - Abramsky, Jagadeesan (1993) (27 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)
Axioms for Synchronous Interaction - Justin Pearson (Correct)
Algebraic Graph Derivations for Graphical Calculi - Kahl (1997) (1 citation) (Correct)
New Foundations for the Geometry of Interaction - Samson Abramsky Radha (1993) (27 citations) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
The complete list of RTA open problems - Date April Summary (Correct)
Some Equation-Less Constructions In Double Categories. - Org Fisch Er (Correct)
A Formal Calculus for Categories - Caccamo (2003) (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