Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, CSL 1999, volume 1683 of LNCS, pages 250--265. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Remarks on Isomorphisms in Typed Lambda Calculi with.. - Fiore, Di Cosmo, Balat (2002) (1 citation) Self-citation (Balat Di cosmo) (Correct)
.... of type isomorphisms has been obtained for monomorphic type systems with various combinations of the unit, product, and arrow type constructors [29, 5, 4] as well as for ML style [11] and second order polymorphism [14] and for linear lambda calculus [30] and multiplicative linear logic [2]. Type isomorphism and category theory. Type isomorphism in foundational theories of functional programming languages, like typed lambda calculi, can be studied by their associated categorical models. From this perspective, our investigations fall in the context of Lawvere and Schanuel s ....
V. Balat and R. Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, volume 1683 of Lecture Notes in Computer Science, pages 250--265. Springer-Verlag, 1999.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, CSL 1999, volume 1683 of LNCS, pages 250--265. Springer-Verlag, 1999.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
No context found.
Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, CSL 1999, volume 1683 of LNCS, pages 250--265. Springer-Verlag, 1999.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, CSL 1999, volume 1683 of LNCS, pages 250--265. Springer-Verlag, 1999.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2004) (Correct)
No context found.
Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, CSL 1999, volume 1683 of LNCS, pages 250--265. Springer-Verlag, 1999.
Inferring Type Isomorphisms Generically - Atanassow, Jeuring (Correct)
No context found.
Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In CSL, pages 250--265, 1999.
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