-
TYPES 2021 Invited Talk by Sara Negri
From Henning Basold
-
TYPES 2021 Invited Talk by Stephanie Balzer
From Henning Basold
-
TYPES 2021 Opening and Invited Talk by Ulrik…
From Henning Basold
-
Unfortunately, I only realised later that the recording had not started. My apologies for that!
TYPES 2021 Recursion Session
From Henning Basold
-
TYPES 2021 Inductive Types Session I
From Henning Basold
-
TYPES 2021 Inductive Types Session II
From Henning Basold
-
TYPES 2021 New Type Theories Session
From Henning Basold
-
TYPES 2021 Computation and Intersection Types…
From Henning Basold
-
TYPES 2021 Model Theory Session
From Henning Basold
-
TYPES 2021 Logical and Semantic Principles Session
From Henning Basold
-
TYPES 2021 Proof Theory Session
From Henning Basold
-
-
TYPES 2021 Proof Assistants Foundations Session
From Henning Basold
-
TYPES 2021 Modal Type Theory Session
From Henning Basold
-
TYPES 2021 Invited Talk by Pierre-Marie…
From Henning Basold
-
TYPES 2021 Proof Assistants Applications Session
From Henning Basold
-
TYPES 2021 Closing Discussion Session
From Henning Basold
Search for ""