A NAMEFREE LAMBDA CALCULUS WITH FACILITIES FOR INTERNAL DEFINITION OF
EXPRESSIONS AND SEGMENTS
Technological University Eindhoven Netherlands
THReport 78WSK03
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
Clambdaxiphi calculus of explicit substitutions
revisited.
 Pierre LESCANNE

Ecole Normale Superieure

F69364 LYON Cedex 07 FRANCE
 Pierre.Lescanne@enslyon.fr