A flexible type system for the small Veblen ordinal

TitleA flexible type system for the small Veblen ordinal
Publication TypeJournal Article
Year of PublicationSubmitted
AuthorsRanzi, F, Strahm, T
URLhttp://www.iam.unibe.ch/ltgpub/2016/rast16.pdf