Logical and Semantic Principles

Start TimeTitleAuthors
10:00On the logical structure of choice and bar induction principlesNuria Brede and Hugo Herbelin
10:10A container model of type theoryThorsten Altenkirch and Ambrus Kaposi
10:25Quantitative polynomial functorsGeorgi Nakov and Fredrik Nordvall Forsberg
10:35Shape-irrelevant reflection: Terminating extensional type theoryThéo Winterhalter
10:45On Model-Theoretic Strong Normalization for Truth-Table Natural DeductionAndreas Abel

Event Timeslots (1)

chair: Herman Geuvers

Leave a Comment

Your email address will not be published. Required fields are marked *