References

[AGV64]

Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier, editors. Séminaire de Géometrie Algébrique, IV: Théorie des Topos, number 269–270 in Lecture Notes in Mathematics. Springer-Verlag, 1964. Second edition, 1972.

[App92]

Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.

[Bau08]

Andrej Bauer. Efficient computation with Dedekind reals. In Vasco Brattka, Ruth Dillhage, Tanja Grubba, and Angela Klutch, editors, Fifth International Conference on Computability and Complexity in Analysis, pages i–vi, Hagen, Germany, August 2008.

[BB85]

Errett A. Bishop and Douglas S. Bridges. Constructive Analysis. Number 279 in Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 1985.

[BBS04]

Andrej Bauer, Lars Birkedal, and Dana S. Scott. Equilogical spaces. Theoretical Computer Science, 315:35–59, 2004.

[BGvO71]

Michael Barr, Pierre Grillet, and Donovan van Osdol, editors. Exact Categories and Categories of Sheaves. Number 236 in Lecture Notes in Mathematics. Springer-Verlag, 1971.

[Bou66]

Nicolas Bourbaki. Topologie Générale. Hermann, 1966. English translation, “General Topology”, distrubuted by Springer-Verlag (1989).

[BR87]

Douglas S. Bridges and Fred Richman. Varieties of Constructive Mathematics. Number 97 in London Mathematical Society Lecture Notes. Cambridge University Press, 1987.

[Bro64]

Ronald Brown. Function spaces and product topologies. Quarterly Journal of Mathematics, 15(1):238–250, 1964.

[BW85]

Michael Barr and Charles Wells. Toposes, Triples, and Theories. Springer-Verlag, Berlin, Germany, Heidelberg, Germany, London, UK etc., 1985.

[CH06]

Felice Cardone and J. Roger Hindley. History of lambda-calculus and combinatory logic. Handbook of the History of Logic, 5, 2006.

[Cle87]

John C. Cleary. Logical arithmetic. Future Computing Systems, 2:125–149, 1987.

[CLW93]

Aurelio Carboni, Steve Lack, and Robert Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84:145–158, 1993.

[Coc93]

J. Robin B. Cockett. Introduction to distributive categories. Mathematical Structures in Computer Science, 3:277–307, 1993.

[Cor03]

David Corfield. Towards a Philosophy of Real Mathematics. Cambridge University Press, 2003.

[CR36]

Alonzo Church and J. Barkley Rosser. Some properties of conversion. Transactions of the American Mathematical Society, 39(3):472–482, 1936.

[EM65]

Samuel Eilenberg and John C. Moore. Adjoint functors and triples. Illinois Journal of Mathematics, 9:381–98, 1965.

[FG87]

John Fauvel and Jeremy Gray. The History of Mathematics, a Reader. Macmillan and the Open University, 1987.

[FH79]

Michael Fourman and J. Martin E. Hyland. Sheaf models for analysis. In Michael Fourman, Chris Mulvey, and Dana Scott, editors, Applications of Sheaves, number 753 in Lecture Notes in Mathematics, pages 280–301. Springer-Verlag, 1979.

[Fox45]

Ralph H. Fox. On topologies for function-spaces. Bulletin of the American Mathematical Society, 51, 1945.

[Gen35]

Gerhard Gentzen. Untersuchungen über das Logische Schliessen. Mathematische Zeitschrift, 39:176–210 and 405–431, 1935. English translation in [Gen69], pages 68–131.

[Gen69]

Gerhard Gentzen. The Collected Papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North-Holland, 1969. Edited by Manfred E. Szabo.

[GHK++80]

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael Mislove, and Dana S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980. Second edition, Continuous Lattices and Domains, published by Cambridge University Press, 2003.

[Gir72]

Jean Giraud. Classifying topos. In Bill Lawvere, editor, Toposes, Algebraic Geometry, and Logic, number 274 in Lecture Notes in Mathematics, pages 43–56. Springer-Verlag, 1972.

[Gir87]

Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

[Göd31]

Kurt Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173–198, 1931. English translations, “On Formally Undecidable Propositions of ‘Principia Mathematica’ and Related Systems” published by Oliver and Boyd, 1962 and Dover, 1992; also in “From Frege to Gödel: a Source Book in Mathematical Logic, 1879–1931”, ed. Jan van Heijenoort, Harvard University Press, 1967.

[Har77]

Robin Hartshorne. Algebraic Geometry. Number 52 in Graduate Texts in Mathematics. Springer-Verlag, 1977.

[Hec06]

Reinhold Heckmann. A cartesian closed extension of the category of locales. Mathematical Structures in Computer Science, 16(02):231–253, 2006.

[HHPJW07]

Paul Hudak, John Hughes, Simon Peyton-Jones, and Philip Wadler. A history of Haskell: Being lazy with class. In History of Programming Languages, pages 12–55. ACM Press, 2007.

[HM81]

Karl H. Hofmann and Michael Mislove. Local compactness and continuous lattices. In Bernhard Banaschewski and Rudolf-Eberhard Hoffmann, editors, Continuous Lattices, number 871 in Springer Lecture Notes in Mathematics, pages 209–248, 1981.

[How80]

William A. Howard. The formulae-as-types notion of construction. In Haskell Curry, Jonathan Seldin, and Roger Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479–490. Academic Press, 1980.

[HP89]

J. Martin E. Hyland and Andrew M. Pitts. The theory of constructions: Categorical semantics and topos-theoretic models. In John Gray and Andre Scedrov, editors, Proceedings of the Boulder Conference on Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 137–199, Providence, Rhode Island, 1989. American Mathematical Society.

[Hud89]

Paul Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21(3):411, 1989.

[Hyl79]

J. Martin E. Hyland. Filter spaces and continuous functionals. Annals of Mathematical Logic, 16:101–143, 1979.

[Hyl91]

J. Martin E. Hyland. First steps in synthetic domain theory. In Aurelio Carboni, Maria-Cristina Pedicchio, and Giuseppe Rosolini, editors, Proceedings of the 1990 Como Category Conference, number 1488 in Lecture Notes in Mathematics, pages 131–156. Springer-Verlag, 1991.

[Isb86]

John Isbell. General function spaces, products and continuous lattices. Mathematical Proceedings of the Cambridge Philosophical Society, 100(2):193–205, 1986.

[JKM01]

Achim Jung, Mathias Kegelmann, and Andrew Moshier. Stably compact spaces and closed relations. Electronic Notes in Theoretical Computer Science, 45, 2001.

[Joh82]

Peter T. Johnstone. Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1982.

[Joh84]

Peter T. Johnstone. Open locales and exponentiation. Contemporary Mathematics, 30:84–116, 1984.

[JT84]

André Joyal and Myles Tierney. An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 51(309), 1984.

[Koc81]

Anders Kock. Synthetic Differential Geometry. Number 51 in London Mathematical Society Lecture Notes. Cambridge University Press, 1981. Second edition, number 333, 2006.

[Kuh62]

Thomas S Kuhn. The Structure of Scientific Revolutions. University of Chicago Press, 1962.

[Kur20]

Kazimierz Kuratowski. Sur la notion d’ensemble fini. Fundamenta Mathematicae, 1:130–1, 1920.

[Lak63]

Imre Lakatos. Proofs and refutations: the logic of mathematical discovery. British Journal for the Philosophy of Science, 14:1–25, 1963. Re-published by Cambridge University Press, 1976, edited by John Worrall and Elie Zahar.

[Law69]

Bill Lawvere. Adjointness in foundations. Dialectica, 23:281–296, 1969. Reprinted with commentary in Theory and Applications of Categories Reprints, 16:1–16, 2006.

[Lin69]

Fred Linton. An outline of functorial semantics. In Beno Eckmann, editor, Seminar on Triples and Categorical Homology Theory, number 80 in Lecture Notes in Mathematics, pages 7–52. Springer-Verlag, 1969.

[Mac71]

Saunders Mac Lane. Categories for the Working Mathematician. Springer-Verlag, Berlin, 1971.

[Mai03]

Marie Emilia Maietti. Joyal’s arithmetic universes via type theory. Electronic Notes in Theoretical Computer Science, 69, 2003.

[Mai05]

Marie Emilia Maietti. Reflection into models of finite decidable FP-sketches in an arithmetic universe. Electronic Notes in Theoretical Computer Science, 416, 2005.

[Man76]

Ernie Manes. Algebraic Theories. Number 26 in Graduate Texts in Mathematics. Springer-Verlag, 1976.

[McC78]

John McCarthy. History of LISP. History of programming languages, pages 173–185, 1978.

[McL90]

Colin McLarty. The uses and abuses of the history of topos theory. British Journal for the Philosophy of Science, 41(3):351–375, 1990.

[Mik76]

Christian Mikkelsen. Lattice-theoretic and Logical Aspects of Elementary Topoi. PhD thesis, �C5;rhus Universitet, 1976. Various publications, number 25.

[ML63]

Saunders Mac Lane. Natural associativity and commutativity. Rice University Studies, 49(4):28–46, 1963.

[ML88]

Saunders Mac Lane. Categories and concepts in perspective. In Peter Duren, Richard A. Askey, and Uta C. Merzbach, editors, A Century of Mathematics in America, volume 1, pages 323–365. American Mathematical Society, 1988. Addendum in volume 3, pages 439–441.

[Moo66]

Ramon E. Moore. Interval Analysis. Automatic Computation. Prentice Hall, 1966. Second edition, Ramon Edgar Moore, Baker R Kearfott and Michael J Cloud, "Introduction to Interval Analysis", Society for Industrial and Applied Mathematics, Philadephia, 2009, ISBN 0989716691.

[MS03]

Matías Menni and Alex Simpson. Topological and limit-space subcategories of countably-based equilogical spaces. Mathematical Structures in Computer Science, 12(6):739–770, 2003.

[Par74]

Robert Paré. Colimits in topoi. Bulletin of the American Mathematical Society, 80(3):556–561, May 1974.

[Pea97]

Giuseppe Peano. Studii di logica matematica. Atti della Reale Accademia di Torino, 32:565–583, 1897. Reprinted in Peano, Opere Scelte, Cremonese, 1953, vol. 2, pp. 201–217, and (in English) in Hubert Kennedy, Selected Works of Giuseppe Peano, Toronto University Press, 1973, pp 190–205.

[Pho90]

Wesley Phoa. Domain Theory in Realizability Toposes. PhD thesis, University of Cambridge, 1990. University of Edinburgh Dept. of Computer Science report CST-82-91 and ECS-LFCS-91-171.

[Pit01]

Andrew M. Pitts. Categorical logic. In Handbook of Logic in Computer Science, volume 5, pages 39–128. Oxford University Press, 2001.

[Ric56]

Henry G. Rice. On completely recursively enumerable classes and their key arrays. Journal of Symbolic Logic, 21:304–8, 1956.

[Ros86]

Giuseppe Rosolini. Continuity and Effectiveness in Topoi. D. phil. thesis, University of Oxford, 1986.

[Ros00]

Giuseppe Rosolini. Equilogical spaces and filter spaces. Rendiconti del Circolo Matematico di Palermo, Supplemento, 64:157–175, 2000.

[RW13]

Bertrand Russell and Alfred North Whitehead. Principia Mathematica. Cambridge University Press, 1910–13.

[Sco72]

Dana S. Scott. Continuous lattices. In F. W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, number 274 in Lecture Notes in Mathematics, pages 97–136. Springer-Verlag, Berlin, 1972.

[Sco93]

Dana S. Scott. A type-theoretical alternative to ISWIM, CUCH, OWHY. Theoretical Computer Science, 121:422–440, 1993. Written in 1969.

[Sel02]

Jonathan P. Seldin. Curry’s anticipation of the types used in programming languages. Proceedings of the Canadian Society for History and Philosophy of Mathematics, 15:148–163, 2002.

[Sim78]

Harold Simmons. The lattice-theoretic part of topological separation properties. Proceedings of the Edinburgh Mathematical Society (2), 21(1):41–48, 1978.

[Smo06]

Lee Smolin. The Trouble with Physics. Houghton Mifflin, 2006. Republished by Penguin, 2008.

[Spi10]

Bas Spitters. Located and overt sublocales. Annals of Pure and Applied Logic, 2010. to appear.

[Ste67]

Norman Steenrod. A convenient category of topological spaces. Michigan Mathematics Journal, 14(2):133–152, 1967.

[Sto37]

Marshall H. Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, 41(3):375–481, 1937.

[Sto38]

Marshall H. Stone. The representation of Boolean algebras. Bulletin of the American Mathematical Society, 44(12):807–816, 1938.

[Tar35]

Alfred Tarski. Zur Grundlegung der Boole’schen algebra. Fundamenta Mathematicae, 24:177–198, 1935.

[Tay86]

Paul Taylor. Recursive Domains, Indexed category Theory and Polymorphism. PhD thesis, Cambridge University, 1986.

[Tay91]

Paul Taylor. The fixed point property in synthetic domain theory. In Gilles Kahn, editor, Logic in Computer Science 6, pages 152–160. IEEE, 1991.

[Tay99]

Paul Taylor. Practical Foundations of Mathematics. Number 59 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1999.

[Thi97]

Hayo Thielecke. Categorical Structure of Continuation Passing Style. PhD thesis, University of Edinburgh, 1997.

[Tur35]

Alan M. Turing. On computable numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society (2), 42:230–265, 1935.

[Ver94]

Japie J. C. Vermeulen. Proper maps of locales. Journal of Pure and Applied Algebra, 92:79–107, 1994.

[Vic88]

Steven Vickers. Topology Via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.

[Wil70]

Peter Wilker. Adjoint product and hom functors in general topology. Pacific Journal of Mathematics, 34:269–283, 1970.

The papers on abstract Stone duality may be obtained from

[O]

Paul Taylor, Foundations for Computable Topology. in Giovanni Sommaruga (ed.), Foundational Theories of Mathematics, Kluwer 2010.

[A]

Paul Taylor, Sober spaces and continuations. Theory and Applications of Categories, 10(12):248–299, 2002.

[B]

Paul Taylor, Subspaces in abstract Stone duality. Theory and Applications of Categories, 10(13):300–366, 2002.

[C]

Paul Taylor, Geometric and higher order logic using abstract Stone duality. Theory and Applications of Categories, 7(15):284–338, 2000.

[D]

Paul Taylor, Non-Artin gluing in recursion theory and lifting in abstract Stone duality. 2000.

[E]

Paul Taylor, Inside every model of Abstract Stone Duality lies an Arithmetic Universe. Electronic Notes in Theoretical Computer Science 122 (2005) 247-296.

[F]

Paul Taylor, Scott domains in abstract Stone duality. March 2002.

[G–]

Paul Taylor, Local compactness and the Baire category theorem in abstract Stone duality. Electronic Notes in Theoretical Computer Science 69, Elsevier, 2003.

[G]

Paul Taylor, Computably based locally compact spaces. Logical Methods in Computer Science, 2 (2006) 1–70.

[H–]

Paul Taylor, An elementary theory of the category of locally compact locales. APPSEM Workshop, Nottingham, March 2003.

[H]

Paul Taylor, An elementary theory of various categories of spaces and locales. November 2004.

[I]

Andrej Bauer and Paul Taylor, The Dedekind reals in abstract Stone duality. Mathematical Structures in Computer Science, 19 (2009) 757–838.

[J]

Paul Taylor, A λ-calculus for real analysis. Journal of Logic and Analysis, 2(5), 1–115 (2010)

[K]

Paul Taylor, Interval analysis without intervals. February 2006.

[L]

Paul Taylor, Tychonov’s theorem in abstract Stone duality. September 2004.

[M]

Paul Taylor, Cartesian closed categories with subspaces. 2009.

[N]

Paul Taylor, Computability in locally compact spaces. 2010.