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

by A Salibra
Venue:In 16 th Annual IEEE Symposium on Logic in Computer Science