Implementation and Applications of Scott's Logic for Computable Functions (1972)

by R Milner
Venue:Mexico State University, Las Cruces