|
25
|
Adjoint Rewriting
– Neil Ghani
- 1995
|
|
36
|
The Virtues of Eta-expansion
– C. Barry Jay, Neil Ghani
- 1993
|
|
42
|
On Mints’ reduction for ccc-calculus
– Yohji Akama
- 1993
|
|
9
|
Equality Between Functionals in the Presence of Coproducts
– Daniel J. Dougherty, Ramesh Subrahmanyam
- 1995
|
|
32
|
Normalization by evaluation for typed lambda calculus with coproducts
– T. Altenkirch, P. Dybjer
- 2001
|
|
115
|
Ideas and results in proof theory
– D Prawitz
- 1971
|
|
17
|
R'esolution d"equations dans des langages d'ordre 1,2
– G P Huet
- 1976
|
|
379
|
Introduction to higher order categorical logic
– Joachim Lambek, Philip J Scott
- 1986
|
|
14
|
Teorija categorii i teoria dokazatelstv.I. Aktualnye problemy logiki i metodologii nauky
– G E Mints
- 1979
|
|
50
|
An inverse of the evaluation functional for typed -calculus
– U Berger, H Schwichtenberg
- 1991
|
|
7
|
Some -calculi with categorical sums and products
– D Dougherty
- 1993
|
|
79
|
Formal Category Theory: Adjointness for 2-Categories
– J Gray
- 1974
|
|
723
|
Inductive-Data-Type Systems
– Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
- 2002
|
|
4
|
Rewriting with polymorphic extensional - calculus
– R Di Cosmo, D Kesner
- 1995
|
|
9
|
Expanding Extensional Polymorphism
– Roberto Di Cosmo, Adolfo Piperno
- 1995
|
|
129
|
An intuitionistic theory of types: Predicative part
– Per Martin-Lof
- 1975
|
|
325
|
Proofs and Types
– Jean-Yves Girard, Yves Lafont, Paul Taylor
- 1989
|
|
8
|
Simulating expansions without expansions
– R Di Cosmo, D Kesner
- 1994
|
|
3
|
Combining algebraic rewriting, extensional -calculi and fixpoints
– R Di Cosmo, D Kesner
- 1995
|
