The -calculus is !-incomplete (1974)

by G D Plotkin
Venue:The Journal of Symbolic Logic