The type theoretic interpretation of Constructive Set Theory: inductive definitions (1986)

by Peter Aczel
Venue:Logic, Methodology and Philosophy of Science VII