# Bibliography of Guarded Domain Theory

### Table of contents

This page collects papers and dissertations about **Guarded Domain Theory**;
if you have written a paper or dissertation on this topic, please write to me to have it added to this list.

The following authors are represented in this bibliography: Frederik Lerbjerg Aagaard, Pierre America, André Arnold, Robert Atkey, Lars Birkedal, Aleš Bizjak, Franck Breugel, Liang-Ting Chen, Ranald Clouston, Martín Hötzel Escardó, Hans Bugge Grathwohl, Daniel Gratzer, Adrien Guatto, Robert Harper, Hsiang-Shang Ko, Magnus Baunsgaard Kristensen, Tadeusz Litak, Conor McBride, Marino Miculan, Stefan Milius, Rasmus Ejlers Møgelberg, Hiroshi Nakano, Maurice Nivat, Daniele Palombi, Marco Paviotti, Jan Rutten, Jan Schwinghammer, Bas Spitters, Jonathan Sterling, Kristian Støvring, Jacob Junker Thamsborg, Daniele Turi, Niccolò Veltri, Andrea Vezzosi, and Jeroen Warmerdam.

## Refereed Publications

## Unpublished Manuscripts

Oct. 2022 | Under review October 6, 2022 ## BibTeX citation@unpublished{sterling-gratzer-birkedal:2022, author = {Sterling, Jonathan and Gratzer, Daniel and Birkedal, Lars}, year = {2022}, month = jul, note = {Unpublished manuscript}, title = {Denotational semantics of general store and polymorphism}, } |

## Workshop Presentations

FICS '23 | Fixed Points in Computer Science 2023 February 17, 2023 |

FICS'10 | Fixed Points in Computer Science 2010 ## BibTeX citation@inproceedings{birkedal-schwinghammer-stovring:2010, author = {Birkedal, Lars and Scwinghammer, Jan and St{\o{}}vring, Kristian}, editor = {{ Santocanale}, {Luigi }}, booktitle = {Fixed Points in Computer Science 2010}, year = {2010}, note = {FICS 2010, the 7th Workshop on Fixed Points in Computer Science, was held in Brno, Czech Republic, on August 21-22 2010, as a satellite workshop to the conferences Mathematical Foundations of Computer Science and Computer Science Logic, 2010}, title = {A Metric Model of Lambda Calculus with Guarded Recursion}, } |

RSA'99 | Workshop on Realizability Semantics and Applications ## BibTeX citation@inproceedings{escardo:1999, author = {Escard\'{o}, Mart\'{i}n}, booktitle = {Workshop on Realizability Semantics and Applications}, year = {1999}, title = {A metric model of {PCF}}, } |

REXWS'92 | Proceedings of the REX Workshop on Semantics: Foundations and Applications ## BibTeX citation@inproceedings{rutten-turi:1992, author = {Rutten, Jan J. M. M. and Turi, Daniele}, address = {Berlin, Heidelberg}, publisher = {Springer-Verlag}, booktitle = {Proceedings of the REX Workshop on Semantics: Foundations and Applications}, year = {1992}, isbn = {3-540-56596-5}, pages = {477--530}, title = {On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders}, } |

MFPLS'87 | Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics ## BibTeX citation@inproceedings{america-rutten:1987, author = {America, Pierre and Rutten, Jan J. M. M.}, address = {Berlin, Heidelberg}, publisher = {Springer-Verlag}, booktitle = {Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics}, year = {1987}, isbn = {3-540-19020-1}, pages = {254--288}, title = {Solving Reflexive Domain Equations in a Category of Complete Metric Spaces}, } |

## Dissertations

2016 | IT-Universitetet i København ## BibTeX citation@phdthesis{paviotti:2016, author = {Paviotti, Marco}, language = {English}, address = {Denmark}, school = {IT-Universitetet i K{\o{}}benhavn}, year = {2016}, isbn = {978-87-7949-345-2}, series = {ITU-DS}, title = {Denotational semantics in Synthetic Guarded Domain Theory}, } |

2016 | Aarhus University ## BibTeX citation@phdthesis{bizjak:2016, author = {Bizjak, Ale\v{s}}, school = {Aarhus University}, date = {2016}, title = {On semantics and applications of guarded recursion}, } |

2015 | Institutionen för data- och informationsteknik, Datavetenskap (Chalmers), Chalmers tekniska högskola ## BibTeX citation@phdthesis{vezzosi:2015, author = {Vezzosi, Andrea}, school = {Institutionen f\"{o}r data- och informationsteknik, Datavetenskap (Chalmers), Chalmers tekniska h\"{o}gskola}, year = {2015}, keywords = {induction,coinduction,totality,type theory,guarded types,sized types,Agda}, note = {63}, title = {Guarded Recursive Types in Type Theory}, } |

May 2010 | IT-Universitetet i København May 9, 2010 ## BibTeX citation@phdthesis{thamsborg:2010, author = {Thamsborg, {Jacob Junker}}, address = {Denmark}, school = {IT-Universitetet i K{\o{}}benhavn}, year = {2010}, title = {Denotational World-indexed Logical Relations and Friends}, } |

## Technical Reports

1994 | CWI (Centre for Mathematics and Computer Science) ## BibTeX citation@techreport{bruegel-warmerdam:1994, author = {Breugel, Franck and Warmerdam, Jeroen}, address = {NLD}, publisher = {CWI (Centre for Mathematics and Computer Science)}, year = {1994}, title = {Solving Domain Equations in a Category of Compact Metric Spaces}, } |