|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
474
|
Lambda Calculi with Types
– Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt
- 1992
|
|
21
|
Re reduction in the -calculus
– F Kamareddine, R P Nederpelt
- 1995
|
|
14
|
A unified approach to Type Theory through a refined λ-calculus
– Fairouz Kamareddine, Rob Nederpelt
- 1994
|
|
5
|
A useful -notation, Theoretical Computer Science 155
– F Kamareddine, R P Nederpelt
- 1996
|
|
39
|
On Stepwise Explicit Substitution
– Fairouz Kamareddine, Rob Nederpelt
- 1993
|
|
4
|
The Categorical Abstract
– G Cousineau, P-L Curien, M Mauny
- 1987
|
|
2
|
On laziness and optimality in -interpreters: tools for specification and analysis
– J Field
- 1990
|
|
2
|
On the soundness of explicit substitution
– J Krabbendam
- 1993
|
|
45
|
Typed -calculi with explicit substitutions may not terminate
– P-A Melli`es
- 1995
|
|
39
|
A Confluent Calculus of Substitutions
– T Hardin, J J L'evy
- 1989
|
|
29
|
The Barendregt Cube with Definitions and Generalised Reduction
– Roel Bloo, Fairouz Kamareddine, Rob Nederpelt
- 1997
|
|
6
|
λ-calculus à la de Bruijn & explicit substitution
– F Kamareddine, A Rios
- 1995
|
|
90
|
λυ, a calculus of explicit substitutions which preserves strong normalisation
– Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli
- 1996
|
|
135
|
Implementing Mathematics with The Nuprl Proof Development System
– Robert L. Constable, Stuart F. Allen, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, Scott F. Smith, James T. Sasaki, S. F. Smith
- 1986
|
|
468
|
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
– M Gordon, T Melham
- 1993
|
|
1
|
The s-calculus: its typed and its extended versions, submitted
– F Kamareddine, A Rios
|
|
1
|
The confluence of the s e -calculus via a generalised interpretation method, submitted
– F Kamareddine, A Rios
|
|
2
|
Vrijer, eds, Selected papers on Automath
– R Nederpelt, H Geuvers, R de
- 1995
|
