From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Volumn 9780198566519, Issue , 2005, Pages 1-376

  Crosilla, Laura ^a   Schuster, Peter ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

Bishop; Constructive analysis; Constructive mathematics; Constructive set theory; Constructive type theory; Formal topology

Indexed keywords

FORMAL LANGUAGES; FOUNDATIONS; SET THEORY; TOPOLOGY;

BISHOP; CONSTRUCTIVE ANALYSIS; CONSTRUCTIVE MATHEMATICS; CONSTRUCTIVE TYPE THEORY; FORMAL TOPOLOGY;

COMPUTATION THEORY;

EID: 84919566780     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/acprof:oso/9780198566519.001.0001     Document Type: Book

References (0)