Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Link opens in a new tab
Search content at University of Birmingham
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Integration in real PCF
Abbas Edalat
,
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 'Integration in real PCF'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Maximization
100%
Real Number
100%
File Format
33%
Mathematics
Real Number
100%
Definability
33%
Programming Language
33%
Theoretic Approach
33%
File Format
33%
Keyphrases
Real numbers
100%
Number of Steps
33%
Programming Languages
33%
Definability
33%
Computational Adequacy
33%
Computer Science
Real Number
100%
Theoretic Approach
33%
Data Type
33%
Programming Language
33%