A lambda calculus for real analysis

DOI10.4115/JLA.2010.2.5MaRDI QIDQ3145951zbMATH OpenOpenAlexFDO

Authors

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4115/jla.2010.2.5

zbMATH Keywords

abstract Stone dualityconstructive analysisexact real analysisintermediate value theoremmodal logicovert subspacestable zerostraddling intervaltopology as lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60) Connected and locally connected spaces (general aspects) (54D05)

Recommendations

• The Dedekind reals in abstract Stone duality
• Computably Based Locally Compact Spaces
• Foundations for computable topology
• On types of continuity of functions and their properties with respect to partially ordered sets
• Local compactness and the Baire category theorem in abstract Stone duality

Cited in

(14)

• Darboux calculus
• Sobriety for equilogical spaces
• Model checking single agent behaviours by fluid approximation
• Hybrid behaviour of Markov population models
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Computability of Subsets of Metric Spaces
• Admissibly Represented Spaces and Qcb-Spaces
• Five stages of accepting constructive mathematics
• Extensional constructive real analysis via locators
• Frames and topological algebras for a double-power monad
• Foundations for computable topology
• Computably Based Locally Compact Spaces
• On the topological aspects of the theory of represented spaces
• A partial metric semantics of higher-order types and approximate program transformations

This page was built for publication: A lambda calculus for real analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145951)