@Techreport{escardo:claudio:1993,
	author	= "M.H. Escard\'o and D.M. Claudio",
	title	= "Scott domain theory as a foundation for interval analysis",
	institution="UFRGS/II",
	year	= 1993,
	number	= 218,
	address	= "Porto Alegre, Brazil",
}


@Inproceedings{escardo:induction:1995,
	author	= "M.H. Escard\'o",
	title	= "Induction and recursion on the real line",
        booktitle = {Theory and Formal Methods 1994: Proceedings of the
           Second Imperial College Workshop on Theory and Formal Methods},
	editor	= "Hankin, C. and Mackie, I. and Nagarajan, R.",
        address = {{M{\o}ller} Centre, Cambridge},
	publisher="IC Press",
        pages = "259--282",
	year	= "1995"
}

@Article{escardo:realpcf:1996,
  author = 	 "M.H. Escard\'o",
  title = 	 "{PCF} extended with real numbers",
  journal = 	 TCS,
  year = 	 1996,
  volume =	 162,
  number =	 1,
  pages =	 "79--115",
}

@Inproceedings{escardo:universal:1996,
	author	= "M.H. Escard\'o",
	title	= "Real {PCF} extended with $\exists$ is universal",
        booktitle = {Advances in Theory and Formal Methods of
		     Computing: Proceedings of the 
                     Third Imperial College Workshop, April 1996},
	editor	= "A.~Edalat and S.~Jourdan and G.~McCusker",
        address = {Christ Church, Oxford},
	publisher="IC Press",
	year	= 1996,
        pages = {13--24},

}

@InProceedings{edalat:escardo:1996,
	author = "A. Edalat and M.H. Escard\'o",
	title = "Integration in {R}eal {PCF} (Extended abstract)",
	year = 1996,
        booktitle = "Proceedings of the 11th Annual IEEE Symposium on
                      Logic In Computer Science",
        pages = {382--393},
        publisheer = {IEEE Computer Society}
}

@InProceedings{escardo:streicher:induction:1997,
	author = "M.H. Escard\'o and Th. Streicher",
	title = "Induction and recursion on the partial real line
                via biquotients of bifree algebras",
	year = 1997,
        booktitle =   "Proceedings of the 12th Annual IEEE Symposium on
                      Logic in Computer Science",
        pages = {376--386},
  publisher =    {IEEE Computer Society},
}

@TechReport{escardo:thesis:1997,
  author = 	 "M.H. Escard\'o",
  title = 	 "{PCF} extended with real numbers: A domain-theoretic
		  approach to higher-order exact real number computation",
  institution =  "Department of Computer Science, University of Edinburgh",
  year = 	 1997,
  number =	 "ECS-LFCS-97-374",
  month =	 "December",
  note =	 "PhD thesis at Imperial College of the University of
		    London, 1996",
}

@TechReport{pavlovic:escardo:1997,
  author = 	 {D. Pavlovic and M.H. Escard\'o},
  title = 	 {Calculus in Coinductive Form},
  institution =  {School of Cognitive and Computing Sciences, 
                  University of Sussex},
  year = 	 1997,
  number =	 {97:05},
}

@InProceedings{potts:edalat:escardo:1997,
	author = "P.J. Potts and A. Edalat and M.H. Escard\'o",
	title = "Semantics of exact real number arithmetic",
	year = 1997,
        booktitle = "Proceedings of the 12th Annual IEEE Symposium on
                      Logic In Computer Science",
  publisher =    {IEEE Computer Society},
        pages = {248--257},
}

@Article{escardo:filter:northbay:1997,
  author = 	 {M.H. Escard\'o},
  title = 	 {Injective spaces via the filter monad},
  pages =	 {97--110},
  year =	 1997,
  volume =	 22,
  number =       2,
  journal =	 {Topology Proceedings},
}
@Unpublished{escardo:metric:1998,
  author = 	 {M.H. Escard\'o},
  title = 	 {A metric model of {PCF}},
  note =         {Laboratory for Foundations of Computer Science,
                  University of Edinburgh. 
                  Presented at the 
                  Workshop on Realizability Semantics and Applications, 
                  June 30-July 1, 1999 (associated to the Federated
                  Logic Conference, held in Trento, June 29-July 12, 1999)},
  month =	 {April},
  year =	 {1998},
}

@InProceedings{escardo:rnc3:1998,
  author = 	 {M.H. Escard\'o},
  title = 	 {Introduction to {R}eal {PCF}},
  booktitle = 	 {Third Real Numbers and Computers Conference (RNC3)},
  pages =	 {187--197},
  year =	 1998,
  editor =	 {J.-M. Chesneaux and F. J\'ez\'equel and J.-L. Lamotte and 
                  J. Vignes},
  address =	 {Paris, France},
  month =	 {April},
  organization = {Universit\'e Pierre et Marie Curie},
  note =	 {Notes for an invited speach}
}

@InProceedings{pavlovic:escardo:1998,
	author = "D. Pavlovic and M.H. Escard\'o",
	title = "Calculus in Coinductive Form",
	year = 1998,
        pages = {408--417},
        booktitle =   "Proceedings of the 13th Annual IEEE Symposium on
                      Logic in Computer Science",
  publisher =    {IEEE Computer Society},
}

@Article{erker:escardo:keimel:1998,
  author = 	 "T. Erker and M.H. Escard\'o and K. Keimel",
  title = 	 "The way-below relation of function spaces over
		    semantic domains",
  journal = 	 "Topology and Its Applications",
  number = "1--2",
  volume = 89,
  pages = {61--74},
  year = 1998,
}

@Article{escardo:effective:comprox:1998,
  author = 	 "M.H. Escard\'o",
  title = 	 "Effective and sequential definition by cases on the
		  reals via infinite signed-digit numerals",
  journal =	 "Electronic Notes in Theoretical Computer Science",
  year =	 1998,
  volume =	 13,
}

@TechReport{escardo:filter:report:1998,
  author = 	 "M.H. Escard\'o",
  title = 	 "Injective spaces and the filter monad",
  institution =  "Department of Computer Science, University of Edinburgh",
  year = 	 1998,
  number =	 "ECS-LFCS-98-383",
}

@Article{escardo:injective:1998,
  author = 	 "M.H. Escard\'o",
  title = 	 "Properly injective spaces and function spaces",
  journal = 	 "Topology and Its Applications",
  number = "1--2",
  pages = {75--120},
  volume = 89,
  year = 1998,
}
@article{escardo:flagg:1999,
  author = 	 {M.H. Escard\'o and R.C. Flagg},
  title = 	 {Semantic domains, injective spaces and monads},
  year =	 1999,
  journal =	 {Electronic Notes in Theoretical Computer Science},
  volume =       20,
}

@article{escardo:stably:1999,
  author = 	 {M.H. Escard\'o},
  title = 	 {On the compact-regular coreflection of a stably 
                  compact locale.},
  year =	 1999,
  journal =	 {Electronic Notes in Theoretical Computer Science},
  volume = 20,
}

@Article{escardo:streicher:induction:1999,
  author = 	 "M.H. Escard\'o and Th. Streicher",
  title = 	 "Induction and recursion on the partial real line
		    with applications to {R}eal {PCF}",
  journal =	 "Theoretical Computer Science",
  year =	 1999,
  volume = 210,
  number = 1,
  pages = {121-157},
}
@Unpublished{dejaeger:escardo:santini:2000,
  author = 	 {F. DeJaeger and M.H. Escard\'o and G. Santini},
  title = 	 {On the computational content of the {L}awson topology},
  note = 	 {Presented at MFPS XVI, submitted to the TCS proceedings 
                  in July 2000},
}

@Article{edalat:escardo:2000,
  author = 	 {A. Edalat and M.H. Escard\'o},
  title = 	 {Integration in {R}eal {PCF}},
  journal = 	 {Information and Computation},
  year = 	 2000,
  pages = {128--166},
  volume = 160,
}
@InProceedings{escardo:simpson:2001,
  author = 	 {M.H. Escard\'o and A.K. Simpson},
  title = 	 {A universal characterization of the 
                  closed {E}uclidean interval },
  booktitle = 	 {Proceedings of the 16th Annual IEEE Symposium on 
                  Logic in Computer Science},
  pages =	 {115--128},
  publisher =    {IEEE Computer Society},
  year =	 2001,
}

@Article{escardo:stablylocally:2001,
  author = 	 {M.H. Escard\'o},
  title = 	 {The regular-locally-compact coreflection of 
                  stably locally compact locale},
  journal = 	 {Journal of Pure and Applied Algebra},
  year =	 2001,
  pages =        {41--55},
  volume =	 157,
  number =	 1,
}
@Article{escardo:heckmann:2002,
  author = 	 {M.H. Escard\'o and R. Heckmann},
  title = 	 {Topologies on spaces of continuous functions},
  journal = 	 {Topology Proceedings},
  year = 	 {2002},
  volume =	 26,
  number =	 2,
  pages = {545--564},
}

@article{escardo:lawsonfunctionspace:2002,
  author = 	 {M.H. Escard\'o},
  title = 	 {Function-space compactifications of function spaces},
  volume = 	 120,
  number =       3, 
  pages =        {441--463},
  journal =      {Topology and its Applications},
  year =	 2002,
}

@Article{escardo:streicher:2002,
  author = 	 {M.H. Escard\'o and Th. Streicher},
  title = 	 {In domain realizability, not all functionals on 
                  {C}[-1,1] are continuous},
  journal = 	 {Mathematical Logic Quarterly},
  year = 	 2002,
  volume =	 48,
  number =	 1,
  pages =	 {41--44},
}

@incollection {MR2062482,
    AUTHOR = {Bauer, A. and Escard{\'o}, M.H. and
              Simpson, A.},
     TITLE = {Comparing functional paradigms for exact real-number
              computation},
 BOOKTITLE = {Automata, languages and programming},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {2380},
     PAGES = {489--500},
 PUBLISHER = {Springer},
      YEAR = {2002},
}
@Proceedings{adamek:escardo:hofmann:2003,
  title = 	 {Category Theory and Computer Science},
  year = 	 2003,
  editor =	 {J. Ad\'amek and M.H. Escard\'o, M. Hofmann},
  note =	 {\emph{Theoretical Computer Science}, vol.~294, no.~1-3}
}

@Article{escardo:nuclei:2003,
  author = 	 {M.H. Escard\'o},
  title = 	 {Joins in the frame of nuclei},
  journal = 	 {Applied Categorical Structures},
  volume = 11,
  number = 2,
  pages = {117--124},
  year = 2003,
}


@Article{escardo:perfectlyinjective:2003,
  author = 	 {M.H. Escard\'o},
  title = 	 {Injective locales over perfect embeddings and algebras 
                  of the upper powerlocale monad},
  journal = 	 {Applied General Topology},
  volume = 4,
  number = 1,
  pages = {193--200},
  year = 2003,
}
@Article{escardo:lawson:simpson:2004,
    AUTHOR = {Escard{\'o}, M.H. and Lawson, J. and Simpson, A.},
     TITLE = {Comparing {C}artesian closed categories of (core) compactly
              generated spaces},
  JOURNAL = {Topology and its Applications},
    VOLUME = 143,
      YEAR = 2004,
    NUMBER = {1-3},
}

@Article{escardo:synthetic:2004,
  author = 	 {M.H. Escard\'o},
  title = 	 {Synthetic topology of data types and classical spaces},
  journal = 	 {Electronic Notes in Theoretical Computer Science},
  year = 	 2004,
  volume =	 87,
  pages =	 {21--156}
}

@InProceedings{marcial-romero:escardo:2004,
  author = 	 {J.R. Marcial-Romero and M.H. Escard\'o},
  title = 	 {Semantics of a sequential language for exact real-number computation},
  booktitle = 	 {Proceedings of the 19th Annual IEEE Symposium on
                      Logic In Computer Science},
  pages =	 {426--435},
  year =	 2004,
  publisher = {IEEE Computer Society}
}

@Proceedings{escardo:jung:2004,
  title = 	 {Proceedings of the Workshop on Domains VI},
  year = 	 2004,
  editor =	 {M.H. Escard\'o and A. Jung},
  volume =	 73,
  series =	 {Electronic Notes in Theoretical Computer Science},
}

@Article{escardo:hofmann:streicher:2004,
  author = 	 {M.H. Escard\'o and M. Hofmann and T. Streicher},
  title = 	 {On the non-sequential nature of the interval-domain model of real-number computation},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 2004,
  volume =	 14,
  number =	 6,
  pages =	 {803--814}
}

@Proceedings{birkedal:escardo:jung:rosolini:2004,
    editor = {Birkedal, L. and Escard{\'o}, M.H. and Jung, A. and
              Rosolini, G.},
     TITLE = {{R}ecent developments in domain theory: a collection
              of papers in honour of {D}ana {S}. {S}cott},
  note = {\emph{Theoretical Computer Science}, vol.~316 no.~1-3},
      YEAR = {2004},
}
@InProceedings{escardo:ho,
  author = 	 {M.H. Escard\'o and W.K. Ho},
  title = 	 {Operational domain theory and topology of a sequential programming language},
  booktitle = 	 {Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science},
  pages =	 {427--436},
  year =	 2005,
  publisher =	 {IEEE Computer Society}
}

@Article{escardo:ccg,
  author = 	 {M.H. Escard\'o},
  title = 	 {Compactly generated {H}ausdorff locales},
  journal = 	 {Annals of Pure and Applied Logic},
  year = 	 2005,
  volume =	 137,
  number =	 {1--3},
  pages =	 {147--163}
}

@Article{dejaeger:escardo:santini,
  author = 	 {F. DeJaeger and M.H. Escard\'o and G. Santini},
  title = 	 {On the computational content of the {L}awson topology},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2005},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  note = 	 {To appear},
  OPTannote = 	 {}
}

@Proceedings{muller:escardo:zimmermann,
    editor = {N. M\"uller and M.H. Escard\'o and P. Zimmermann},
     TITLE = {Practical development of exact real number computation},
  note = {\emph{Journal of Logic and Algebraic Programming}, volume 64, issue 1},
      YEAR = {2005},
}
@Article{dejaeger:escardo:santini,
  author = 	 {F. DeJaeger and M.H. Escard\'o and G. Santini},
  title = 	 {On the computational content of the {L}awson topology},
  journal = "Theoretical Computer Science",
  pages = {230-240},
  year = 2006,
  volume = 357 
}

@Article{escardo:ccg,
  author = 	 {M.H. Escard\'o},
  title = 	 {Compactly generated {H}ausdorff locales},
  journal = 	 {Annals of Pure and Applied Logic},
  year = 	 2006,
  volume =	 137,
  number =	 {1--3},
  pages =	 {147--163}
}

@Proceedings{escardo:jung:streicher,
editor = {M.H. Escard\'o and A. Jung and T. Streicher},
Title = {Special issue in honour of Klaus Keimel's 65th birthday},
year = 2006,
note = {\emph{Mathematical Structures in Computer Science}, volume 16, number 2}
}
@Article{marcial-romero:escardo,
 author = {J. Raymundo Marcial-Romero and Mart\'{\i}n H. Escard\'{o}},
 title = {Semantics of a sequential language for exact real-number computation},
 journal = {Theor. Comput. Sci.},
 volume = {379},
 number = {1-2},
 year = {2007},
 issn = {0304-3975},
 pages = {120--141},
 doi = {http://dx.doi.org/10.1016/j.tcs.2007.01.021},
 publisher = {Elsevier},
 }


@inproceedings{escardo:lics:2007,
 author = {Martin Escardo},
 title = {Infinite sets that admit fast exhaustive search},
 booktitle = {LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science},
 year = {2007},
 isbn = {0-7695-2908-9},
 pages = {443--452},
 doi = {http://dx.doi.org/10.1109/LICS.2007.25},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
@Article{escardo:exhaustible:2008,
    AUTHOR = {Escard{\'o}, M.H.},
     TITLE = {Exhaustible sets in higher-type computation},
   JOURNAL = {Log. Methods Comput. Sci.},
  FJOURNAL = {Logical Methods in Computer Science},
    VOLUME = {4},
      YEAR = {2008},
    NUMBER = {3},
     PAGES = {3:3, 37},
      ISSN = {1860-5974},
   MRCLASS = {03D65 (68Q55)},
  MRNUMBER = {MR2438391},
}