Documents Related by Co-Citation

26 βη-equality for coproducts – Neil Ghani - 1995
84 Formal category theory: adjointness for 2-categories – J W Gray - 1974
126 Idea and result in proof theory – D Prawitz - 1971
36 The Virtues of Eta-expansion – C. Barry Jay, Neil Ghani - 1993
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
9 Modelling reductions in confluent categories – C B Jay - 1990
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
69 Handbook of Categorical Algebra 2, Categories and Structures – F Borceux - 1994
17 Toposes, Triples, and Theories. Number 278 in Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles Wells - 1985
13 Eta-Expansions in Dependent Type Theory - The Calculus of Constructions – Neil Ghani - 1997
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
49 Generalized Sufficient Conditions for Modular Termination of Rewriting – Bernhard Gramlich - 1992
96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994
42 On Mints's Reduction for CCC-Calculus – Y Akama - 1993
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
45 Typed -calculi with explicit substitutions may not terminate – P-A Melli`es - 1995
92 The linear abstract machine – Yves Lafont - 1988
72 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993
8 Simulating expansions without expansions – R Di Cosmo, D Kesner - 1994