A realizability interpretation of the theory of species (1975)

by W W Tait
Venue:Logic Colloquium, volume 453 of Lecture Notes in Math