Explicit substitutions and programming languages (1999)

by Jean-Jacques Lévy, Luc Maranget
Venue:Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 1738 of Lecture Notes in Computer Science