Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Link opens in a new tab
Search content at University of Strathclyde
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Oberseminar Mathematische Logik: “Inductive-inductive definitions in dependent type theory”
Nordvall Forsberg, F.
(Speaker)
Computer And Information Sciences
Activity
:
Talk or Presentation
›
Invited talk
Period
11 Jul 2012
Held at
Ludwig-Maximilians-Universität München
, Germany
X