A lambda calculus for real analysis
From MaRDI portal
Publication:3145951
DOI10.4115/jla.2010.2.5zbMath1285.03006OpenAlexW2007946452MaRDI QIDQ3145951
No author found.
Publication date: 17 December 2012
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4115/jla.2010.2.5
modal logicintermediate value theoremconstructive analysisexact real analysisabstract Stone dualityovert subspacestable zerostraddling intervaltopology as lambda-calculus
Constructive and recursive analysis (03F60) Connected and locally connected spaces (general aspects) (54D05) Combinatory logic and lambda calculus (03B40) Computation over the reals, computable analysis (03D78)
Related Items
Unnamed Item ⋮ Five stages of accepting constructive mathematics ⋮ Darboux calculus ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Extensional constructive real analysis via locators ⋮ Sobriety for equilogical spaces ⋮ On the topological aspects of the theory of represented spaces ⋮ Model checking single agent behaviours by fluid approximation ⋮ Computability of Subsets of Metric Spaces ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Hybrid behaviour of Markov population models
