@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}