A set-theoretical de nition of application (1972)

by G D Plotkin
Venue:School of A.I., Univ. of Edinburgh