zbMath1270.68082MaRDI QIDQ2844075
Martín Hötzel Escardó
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051357
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Synthetic topology in Homotopy Type Theory for probabilistic programming,
Partiality and Container Monads,
Topological theories and closed objects,
Quotienting the delay monad by weak bisimilarity,
Probability, valuations, hyperspace: Three monads on top and the support as a morphism,
A topological view on algebraic computation models,
Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract),
On fixed-point theorems in synthetic computability,
Approaching metric domains,
Generalized metric spaces: a survey,
The equivalence of bar recursion and open recursion,
On computability and disintegration,
De groot duality for represented spaces,
Lax algebra meets topology,
Unnamed Item,
An induction theorem and Ekeland's variational principle in partial metric spaces with applications,
Metric spaces in synthetic topology,
A Hofmann-Mislove theorem for bitopological spaces,
Brouwer's fixed-point theorem in real-cohesive homotopy type theory,
Continuous Domain Theory in Logical Form,
On the topological aspects of the theory of represented spaces,
Every metric space is separable in function realizability,
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting,
Operational domain theory and topology of sequential programming languages,
Computable analysis with applications to dynamic systems,
On the computability of the set of automorphisms of the unit square,
Compactness in locales and in formal topology,
A Convenient Category of Domains,
A Hofmann-Mislove theorem for Bitopological Spaces,
Computability of Subsets of Metric Spaces,
Admissibly Represented Spaces and Qcb-Spaces
