Syntax and Semantics of Type Theories
Tid: Fr 2022-05-20 kl 09.30 - Lö 2022-05-21 kl 18.00
Plats: Kräftriket, house 5, room 14
For more information, see the conference web page
Tid: Fr 2022-05-20 kl 09.30 - Lö 2022-05-21 kl 18.00
Plats: Kräftriket, house 5, room 14
For more information, see the conference web page