TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Why do some words have gender? 30/03/2020 -
Alumni Spotlight: Atle Mysterud 28/02/2020 -
Announcing the 2020/21 Young CAS Fellows 14/02/2020 -
Young CAS Fellow programme important for successful research funding 17/01/2020 -
NOK 30 million to research on multilingualism 16/01/2020
