Semantics in type theory

Activity: Talks and presentationsTalk or oral contributionScience to Public

Period17 Jun 201919 Jun 2019
Held atBoston University, United States, Massachusetts