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

by R Milner
Venue:In Proceedings of ACM conference on Proving assertions about programs