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
PCF extended with real numbers
Martín Hötzel Escardó
*
*
Corresponding author for this work
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'PCF extended with real numbers'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Partial
98%
Operational Semantics
73%
Normal Form
51%
Evaluate
46%
Denotational Semantics
38%
Maximal Element
36%
Partial Information
35%
Concatenation
34%
Interval
34%
Programming Languages
31%
Homeomorphic
29%
Sound
27%
Real Line
27%
Tail
26%
Refinement
25%
Euclidean
24%
Subspace
20%
Generalise
16%
Engineering & Materials Science
Semantics
100%
Computer programming languages
44%
Acoustic waves
38%