Semantics in type theory

Activity: Talks and presentationsTalk or oral contributionScience to Science

Period6 Dec 2011
Held atInstitute Vienna Circle
Degree of RecognitionInternational