Syntax and Semantics of Type Theories
Time: Fri 2022-05-20 09.30 - Sat 2022-05-21 18.00
Location: Kräftriket, house 5, room 14
For more information, see the conference web page
Time: Fri 2022-05-20 09.30 - Sat 2022-05-21 18.00
Location: Kräftriket, house 5, room 14
For more information, see the conference web page