βη-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
9 Equality Between Functionals in the Presence of Coproducts – Daniel J. Dougherty, Ramesh Subrahmanyam - 1995
125 Ideas and results in proof theory – Dag Prawitz - 1971
424 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
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
17 R'esolution d"equations dans des langages d'ordre 1,2 – G P Huet - 1976
14 Teorija categorii i teoria dokazatelstv.I. Aktualnye problemy logiki i metodologii nauky – G E Mints - 1979
157 An intuitionistic theory of types: Predicative part – P Martin-Löf - 1975
7 Some -calculi with categorical sums and products – D Dougherty - 1993
20 Some Lambda Calculi With Categorical Sums and Products – Daniel J. Dougherty - 1993
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
82 Formal category theory: adjointness for 2-categories – John W Gray - 1974
4 Rewriting with polymorphic extensional - calculus – R Di Cosmo, D Kesner - 1995
11 Expanding Extensional Polymorphism – Roberto Di Cosmo, Adolfo Piperno - 1995
352 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989
8 Simulating expansions without expansions – R Di Cosmo, D Kesner - 1994