Continuous and monotone machines
From MaRDI portal
Publication:5089226
DOI10.4230/LIPIcs.MFCS.2020.56OpenAlexW3082577523MaRDI QIDQ5089226
Holger Thies, Michal Konečný, Florian Steinberg
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/2005.01624
Cites Work
- Partial combinatory algebras of functions
- The basic feasible functionals in computable analysis
- Theory of representations
- The sequentially realizable functionals
- Completion of choice
- Joins in the strong Weihrauch degrees
- Relative computability and uniform continuity of relations
- Refinements for Free!
- The Vitali Covering Theorem in the Weihrauch Lattice
- On the definitions of computable real continuous functions
- Higher-Order Computability
- Computability over the partial continuous functionals
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
- A Constructive Model of Uniform Continuity
- Mathematical Knowledge Management
- Automatic Data Refinement
- Partiality and recursion in interactive theorem provers – an overview
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
