DMCA

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

by Nicola Gambino , Peter Aczel
Venue:Logic, Methodology and Philosophy of Science VII
Citations:148 - 9 self