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
LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"
Nordvall Forsberg, F.
(Invited speaker)
SICSA
Computer And Information Sciences
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Invited talk
Period
4 Feb 2020
Held at
University of Edinburgh
, United Kingdom
Documents & Links
ordinals_lfcs
File
:
application/pdf, 2.18 MB
Type
:
Text
X