Models for the Computational Lambda Calculus (2001)

by A J Power
Venue:in Proc. MFCSIT 2000