A lambda calculus for real analysis

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

zbMATH Keywords

modal logicintermediate value theoremconstructive analysisexact real analysisabstract Stone dualityovert subspacestable zerostraddling intervaltopology as lambda-calculus

Mathematics Subject Classification ID

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 (11)

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

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