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
CLOG seminar Leicester: “Data types in dependent type theory”
Nordvall Forsberg, F.
(Speaker)
Computer And Information Sciences
Activity
:
Talk or presentation types
›
Invited talk
Period
3 Nov 2011
Held at
University of Leicester
, United Kingdom
X