Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
Contributed talk TYPES 2019: "Compositional Game Theory in Type Theory"
Nordvall Forsberg, F.
(Speaker)
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Oral presentation
Period
14 Jun 2019
Event title
25th International Conference on Types for Proofs and Programs
Event type
Conference
Location
Oslo, Norway
Show on map
Degree of Recognition
International
X