@article{Bauer06,
author = {Andrej Bauer},
title = {First Steps in Synthetic Computability Theory},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 155,
pages = {5--31},
year = 2006,
}
@Book{troelstra73,
author = {Anne S. Troelstra},
title = {Metamathematical investigation of intuitionistic arithmetic and analysis},
publisher = {Springer},
year = 1973,
volume = 344,
series = {Lecture notes in mathematics}}
@InCollection{taylor11,
author = {Paul Taylor},
title = {Foundations for Computable Topology},
booktitle = {Foundational Theories of Classical and Constructive Mathematics},
publisher = {Springer Netherlands},
year = 2011,
editor = {G. Sommaruga},
volume = 76,
series = {The Western Ontario Series in Philosophy of Science},
pages = {265--310}}
@Article{escardo04,
author = {Martín Escardó},
title = {Synthetic topology of data types and classical spaces},
journal = {Electronic Notes in Theoretical Computer Science},
year = 2004,
volume = 87,
pages = {21--156}
}
@InProceedings{hyland91,
author = {Jamie M. E. Hyland},
title = {First Steps in Synthetic Domain Theory},
booktitle = {Category Theory},
year = 1991,
number = 1488,
series = {Lecture Notes in Mathematics}
}
@PhdThesis{phoa91,
author = {Wesley Phoa},
title = {Domain Theory in Realizability Toposes},
school = {Trinity College, Cambridge},
year = 1991}
@inproceedings{taylor91,
author = {Paul Taylor},
title = {The Fixed Point Property in Synthetic Domain Theory},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
({LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {152--160},
year = 1991
}
@Article{richman83,
author = {Fred Richman},
title = {Church's Thesis without Tears},
journal = {The Journal of Symbolic Logic},
year = 1983,
volume = 48,
number = 3,
pages = {797--803},
month = {September}
}
@Book{bridges87,
author = {Douglas Bridges and Fred Richman},
title = {Varieties of Constructive Mathematics},
publisher = {Cambridge University Press},
year = 1987,
number = 97,
series = {London Mathematical Society Lecture Note Series}}
@Book{bishop67,
author = {Erret Bishop},
title = {Foundations of Constructive Analysis},
publisher = {McGraw-Hill},
year = 1967}
@Book{Rogers67,
author = {Hartley Rogers},
title = {Theory of Recursive Functions and Effective Computability},
publisher = {MIT Press},
year = 1967}
@Book{Kleene52,
author = {Stepeh Cole Kleene},
title = {Introduction to Metamathematics},
publisher = {North-Holland},
year = 1952}
@Article{Kleene38,
author = {Stephen Cole Kleene},
title = {On Notation for Ordinal Numbers},
journal = {Journal of Symbolic Logic},
year = 1938,
volume = 3,
number = 4,
pages = {150--155}}
@Article{Tarski55,
author = {Alfred Tarski},
title = {A lattice-theoretical fixpoint theorem and its applications},
journal = {Pacific Journal of Mathematics},
year = 1955,
volume = 5,
number = 2,
pages = {285--309}}
@PhdThesis{Moschovakis63,
author = {Yiannis N. Moschovakis},
title = {Recursive analysis},
school = {University of Wisconsin},
year = 1963,
address = {Madison, Wisconsin}}
@Article{Moschovakis64,
author = {Yiannis N. Moschovakis},
title = {Recursive metric spaces},
journal = {Fndamenta Mathematicae},
year = 1964,
volume = 55,
pages = {215--238}}
@PhdThesis{rosolini86,
author = {Giuseppe Rosolini},
title = {Continuity and Effectiveness in Topoi},
school = {University of Oxford},
year = 1986,
}
@Article{lawvere69,
author = {F. William Lawvere},
title = {Diagonal Arguments and Cartesian Closed Categories},
journal = {Lecture Notes in Mathematics},
year = 1969,
volume = 92,
pages = {134--145},
note = {Republished in: Reprints in Theory and Applications of Categories, No. 15 (2006), 1--13}
}
@inproceedings{hyland82,
author = {Jamie M. E. Hyland},
title = {The effective topos},
pages = {165-216},
editor = {A.S. Troelstra and D. Van Dalen},
booktitle ={The {L.E.J. Brouwer} Centenary Symposium},
publisher ={North Holland Publishing Company},
year = 1982
}
@Book{ersov80,
author = {Yuri L. Ershov},
title = {The theory of enumerations},
publisher = {Nauka},
year = 1980
}
@PhdThesis{Lesnik10,
author = {Davorin Lešnik},
title = {Synthetic Topology and Constructive Metric Spaces},
school = {University of Ljubljana},
year = 2010}
@Article{BauerLesnik12,
author = {Andrej Bauer and Davorin Lešnik},
title = {Metric spaces in synthetic topology},
journal = {Annals of pure and applied logic},
year = 2012,
volume = 163,
number = 2,
pages = {87--100}}
@Book{hottbook,
author = {The {Univalent Foundations Program}},
title = {Homotopy Type Theory: Univalent Foundations of Mathematics},
publisher = {\url{https://homotopytypetheory.org/book}},
address = {Institute for Advanced Study},
year = 2013}