TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024

Call for Post-Proceedings:

  • TBA

SPONSORS




HOST

IT University of Copenhagen