A set-theoretical definition of application. Research Memorandum MIP-R-95 (1972)

by G D Plotkin
Venue:University of Edinburgh