A realizability interpretation of the theory of species (1975)

by William W Tait
Venue:Logic Colloquium Boston 1971/72, volume 453 of Lecture Notes in Mathematics