A NAMEFREE LAMBDA CALCULUS WITH FACILITIES FOR INTERNAL DEFINITION OF
EXPRESSIONS AND SEGMENTS
Technological University Eindhoven Netherlands
TH-Report 78-WSK-03
This report
by N. de Bruijn gives the first presentation ever of
explicit substitutions. Since it is hardly accessible, I thought it
would be interesting to make it available to scientific community. A
presentation of that calculus in today notation is given in De
Bruijn's
C-lambda-xi-phi calculus of explicit substitutions
revisited.
- Pierre LESCANNE
-
Ecole Normale Superieure
-
F69364 LYON Cedex 07 FRANCE
- Pierre.Lescanne@ens-lyon.fr