Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
The Scott model of PCF in univalent type theory
Tom De Jong
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
101
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The Scott model of PCF in univalent type theory'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Type Theory
100%
Monads
70%
Topos Theory
46%
Classifier
33%
Programming Languages
32%
Model
29%
Quotient
22%
Partial
20%
Form
12%
Engineering & Materials Science
Computer programming languages
40%
Classifiers
31%