Models of the computational λ-calculus (2001)

by A J Power
Venue:Proc. MFCSIT 2000, Electronic Notes in Theoretical Computer Science 40