Direct models for the computational λ-calculus (1999)

by Füh99 Carsten Führmann
Venue:Proceedings of the 15th Conference in Mathematical Foundations of Programming Semantics