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

Invited Speakers

Special Session in Memory of Peter Aczel

SPONSORS




HOST