Implementation and application of Scott’s logic for computable functions (1972)

by R Milner
Venue:SIGPLAN Notices