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
Uniform elgot iteration in foundations
Sergey Goncharov
*
*
Corresponding author for this work
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
40
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Uniform elgot iteration in foundations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Application Domain
33%
Axiom of Countable Choice
33%
Category Theory
33%
Choice Principles
33%
Classicality
33%
Computer Science
33%
Domain Theory
33%
Elgot Iteration
100%
Elgot Monad
33%
Free-form Structures
33%
Innovative Approach
33%
Intensional Type Theory
33%
Monads
100%
Partiality
66%
Quality Seal
33%
Thinking Styles
33%
Universal Property
33%
Mathematics
Category Theory
100%
Desirable Property
100%
Domain Theory
100%
Type Theory
100%
Universal Property
100%