βη-equality for coproducts (1995)

Cached

Download Links

by Neil Ghani
Venue:
Citations:26 - 7 self

Documents Related by Co-Citation

25 Adjoint Rewriting – Neil Ghani - 1995
36 The Virtues of Eta-expansion – C. Barry Jay, Neil Ghani - 1993
42 On Mints' reductions for ccc-calculus – Yohji Akama - 1993
125 Ideas and results in proof theory – Dag Prawitz - 1971
17 R'esolution d"equations dans des langages d'ordre 1,2 – G P Huet - 1976
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
14 Teorija categorii i teoria dokazatelstv.I. Aktualnye problemy logiki i metodologii nauky – G E Mints - 1979
7 Some -calculi with categorical sums and products – D Dougherty - 1993
9 Equality Between Functionals in the Presence of Coproducts – Daniel J. Dougherty, Ramesh Subrahmanyam - 1995
16 Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi – Roberto Di Cosmo, Delia Kesner - 1994
20 Some Lambda Calculi With Categorical Sums and Products – Daniel J. Dougherty - 1993
11 Expanding Extensional Polymorphism – Roberto Di Cosmo, Adolfo Piperno - 1995
39 Normalization by evaluation for typed lambda calculus with coproducts – T. Altenkirch, P. Dybjer - 2001
50 An inverse of the evaluation functional for typed -calculus – U Berger, H Schwichtenberg - 1991
8 Simulating expansions without expansions – R Di Cosmo, D Kesner - 1994
156 An intuitionistic theory of types: Predicative part – P Martin-Löf - 1975
84 Formal category theory: adjointness for 2-categories – J W Gray - 1974
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
4 Rewriting with polymorphic extensional - calculus – R Di Cosmo, D Kesner - 1995