Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter B. Andrews

General Models, Descriptions, and Choice in Type Theory

Journal of Symbolic Logic

English