Lambda-definability in the full type hierarchy (1980)

by G Plotkin
Venue:In