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.
In what follows, to save loading time I give only the first 19 pages
and the bibliography. The full report is
available as a tar file (7.7 MBytes).
-
Pierre LESCANNE
-
Ecole Normale Superieure
-
F69364 LYON Cedex 07 FRANCE
-
Pierre.Lescanne@ens-lyon.fr
... and now the bibliography
Last modified: Wed Nov 5 16:08:18 CET 2003