©  Photo:

30th International Conference on Types for Proofs and Programs - TYPES 2024