- Appeared in: Logic from Computer Science, MSRI Publications, Y. Moschovakis, ed., Vol. 21, SpringerVerlag, 1992, pp. 217241.
- This is a technical report. A modified version of this report will be published in: Handbook of Algebra, Vol.2, edited by M. Hazewinkel
- CTCS 2004 Preliminary Version From Geometry of Interaction to Denotational
- Realizability Models for BLL-like languages M. Hofmann a;1 , P. J. Scott b;2
- Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction and Linear
- To appear in: Theoretical Computer Science (1994), Proceedings MFPS8. On the Calculus and Linear Logic
- A Categorical Model for the Geometry of Interaction
- Category Theory for Linear Logicians Richard Blute
- Linear Lauchli Semantics R. F. Blute P. J. Scott
- Normalization by evaluation for typed lambda calculus with coproducts
- The Shuffle Hopf Algebra and Noncommutative Full Completeness
- Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial
- Towards a Typed Geometry of Interaction Esfandiar Haghverdi1
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- A Categorical Model for the Geometry of Interaction
- A Categorical Model for the Geometry of Interaction
- Technical Report Softness of Hypercoherences and MALL Full
- Joachim Lambek Philip Scott
- A Categorical Model for the Geometry of Interaction
- Under consideration for publication in Math. Struct. in Comp. Science Towards a Typed Geometry of Interaction
- The Shuffle Hopf Algebra and Noncommutative Full Completeness
- Joachim Lambek Philip Scott
- Partially traced categories Octavio Malherbea