TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
A new perspective on the Levant 20/01/2021 -
Former CAS scholars receive generous funding 22/12/2020 -
Alumni Spotlight: Bjørnar Julius Olsen 30/11/2020 -
OsloMet gives extensive support to CAS affiliated scholars in an effort to become Centres of Excellence 05/11/2020 -
Geometry, paintings, and Lance 28/10/2020
