A continuum of theories of lambda calculus without semantics (2001)

by A Salibra
Venue:16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001), IEEE Computer