A Realizability Semantics of the Theory of Species (0)

by W Tait
Venue:in Lecture Notes in Mathematics 453