A set-theoretical definition of application (1972)

by Gordon Plotkin
Venue:University of Edinburgh
Citations:7 - 0 self