From a Flexible Type System to Metapredicative Wellordering Proofs

TitleFrom a Flexible Type System to Metapredicative Wellordering Proofs
Publication TypePhD Thesis
Year of Publication2015
AuthorsRanzi, F
URLhttp://www.iam.unibe.ch/ltgpub/2015/ran15.pdf