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
Invited talk “Syntax and Semantics of Quantitative Type Theory”
Atkey, B.
(Speaker)
Computer And Information Sciences
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Invited talk
Period
6 Sept 2018
Held at
Chalmers University of Technology
, Sweden
Degree of Recognition
International
X