Normal Forms and Cut-Free Proofs as Natural Transformations (1992)

by Jean-Yves Girard , Andre Scedrov , Philip J. Scott
Venue:in : Logic From Computer Science, Mathematical Science Research Institute Publications 21
Citations:12 - 4 self

Active Bibliography

88 Categorical Logic – Andrew M. Pitts - 1995
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
5 Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems – T. W. Koh, C. -h. L. Ong - 1998
2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
2 Polymorphic Linear Logic and Topos Models – R.A.G. Seely - 1990
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
22 Normalization and the Yoneda Embedding – Djordje Cubric, Peter Dybier, Philip Scott
6 Non-trivial Power Types can't be Subtypes of Polymorphic Types – Andrew M. Pitts - 1989
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
2 Coherence in Category Theory and the Church-Rosser Property – C. Barry Jay - 1993
1 Internal Languages for Autonomous and *-Autonomous Categories – T. W. Koh, C. -h. L. Ong
7 Explicit Substitution Internal Languages for Autonomous and *-Autonomous Categories – T. W. Koh, C. -h. L. Ong - 1999
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994