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
Types, Thorsten and Theories
Nordvall Forsberg, F.
(Speaker)
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Oral presentation
Description
Counting on Thorsten: Representing Ordinals in Homotopy Type Theory
Period
12 Oct 2022
Event title
Types, Thorsten and Theories: A workshop on type theory in honour of Thorsten Altenkirch's 60th birthday
Event type
Workshop
Location
Nottingham, United Kingdom
Show on map
Degree of Recognition
International
X