4 sep.
Fredag
4.
september
2026,
kl.
14:15
INCUBA Lille Aud., building 5510-104, Aabogade 15, 8200 Aarhus N
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
