TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Alumni Spotlight: Helle Vogt 07/11/2019 -
Humanities + medicine = ❤︎ 30/10/2019 -
CAS Fellow receives ERC Synergy Grant 14/10/2019 -
Meet the project: Do we really need grammatical gender? 07/10/2019 -
Meet the project: What are the preconditions for evolution? 03/10/2019
