A categorical characterization of lambda calculus models (1983)

by T Adachi
Venue:Dept. of Info. Sci. Tokyo Inst. Tech