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: Inductive Types

Simulating large eliminations in Cedille

Christopher Jenkins, Andrew Marmaduke, and Aaron Stump

Quotient inductive-inductive types in the setoid model

Ambrus Kaposi and Zongpu Xie

Eliminating Infinitary Induction-induction

Filippo Sestini and Thorsten Altenkirch

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