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: Recursion

Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor

Niccolò Veltri

Size-Based Termination for Non-Positive Types

Yuta Takahashi

M-Types and Bisimulation

Henning Basold and Daniël Otten

Constructive Notions of Ordinals in Homotopy Type Theory

Nicolai Kraus, Fredrik Nordvall Forsberg, and Chuangjie Xu

A Formalisation of Approximation Fixpoint Theory

Bart Bogaerts and Luı́s Cruz-Filipe

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