A realizability interpretation of the theory of species (1974)

by W W Tait
Venue:Lecfure Notes iit Math. 453 (Springer-Verlag