TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
CAS names inaugural Young CAS Fellows 19/02/2019 -
Alumni Spotlight: Marianne Elisabeth Lien 13/02/2019 -
Project Update: 'The Demise of Religions' 28/01/2019 -
Project Update: 'In Sync: How Synchronisation and Mediation Produce Collective Times, Then and Now' 24/01/2019 -
Project Update: 'Homotopy Type Theory and Univalent Foundations' 21/01/2019
