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: Modal type theory

Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi

Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas

Normalization for multimodal type theory

Daniel Gratzer

Modalities and Parametric Adjoints

Daniel Gratzer, Evan Cavallo, G.A. Kavvos, Adrien Guatto, Lars Birkedal

Clocked Cubical Type Theory

Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, and Andrea Vezzosi

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