@techreport{Abad90a,
	Address = {Palo Alto, California},
	Author = {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien and Jean-Jacques L\'evy},
	Institution = {DEC Systems Research Center},
	Keywords = {misc lambda fp binder (shelf) contract-types},
	Month = ,
	Number = {54},
	Title = {Explicit Substitutions},
	Type = {Technical Report},
	Url = {http://lucacardelli.name},
	Year = {1990},
	Bdsk-Url-1 = {http://lucacardelli.name}}