The Virtues of Eta-expansion (1993)

Cached

Download Links

by C. Barry Jay , Neil Ghani
Citations:36 - 4 self

Documents Related by Co-Citation

42 On Mints' reductions for ccc-calculus – Yohji Akama - 1993
14 Teorija categorii i teoria dokazatelstv.I. Aktualnye problemy logiki i metodologii nauky – G E Mints - 1979
20 Some Lambda Calculi With Categorical Sums and Products – Daniel J. Dougherty - 1993
352 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989
11 On free CCC. Distributed on the types mailing list – Djordje Cubric - 1992
125 Ideas and results in proof theory – Dag Prawitz - 1971
13 A confluent reduction system for the -calculus with surjective pairing and terminal object – Pierre-Louis Curien, Roberto Di Cosmo - 1991
198 The Lambda Calculus: its Syntax and Semantics (revised ed – H P Barendregt - 1984
26 βη-equality for coproducts – Neil Ghani - 1995
5 Closed categories and the theory of proofs. Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im – Gregory Mints - 1977
16 Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi – Roberto Di Cosmo, Delia Kesner - 1994
6 The Church Rosser Theorem for the Typed lambda-calculus with Surjective Pairing – Garrel Pottinger - 1981
8 Simulating expansions without expansions – R Di Cosmo, D Kesner - 1994
4 An Application of Klop's Counterexample to a Higher-Order Rewrite System – Dan Nesmith - 1989
6 d'efinition de fonctions par cas `a l'aide de motifs dans des langages applicatifs. Th`ese de Doctorat, Universit'e de Paris-Sud – La - 1993
17 Simulating Expansions Without Expansions – Roberto Di Cosmo, Roberto Di Cosmo, Delia Kesner, Delia Kesner - 1993
424 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
5 On the implementation of abstract data types by programming language constructs – Axel Poign'e, Josef Voss - 1987
245 Combinatory reduction systems – J W Klop - 1980