Skip to content

TYPES 2021

  • About
  • Post-Proceedings TYPES 2021
    • Post-Proceedings Call
  • Registration
  • Programme
    • Programme
    • Accepted Contributions
  • Call for Contributions
  • Contact
  • Privacy Policy

Category: Logical and Semantic Principles

Shape-irrelevant reflection: Terminating extensional type theory

Théo Winterhalter

Quantitative polynomial functors

Georgi Nakov and Fredrik Nordvall Forsberg

On the logical structure of choice and bar induction principles

Nuria Brede and Hugo Herbelin

On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction

Andreas Abel

A container model of type theory

Thorsten Altenkirch and Ambrus Kaposi

Search

TYPES 2021

This website is maintained by Henning Basold and hosted by the Leiden Institute of Advanced Computer Science.

© 2025 TYPES 2021 | Privacy Policy | Proudly powered by WordPress