@article(abp98, author = "Samson Abramsky and Richard Blute and Prakash Panangaden", year = "1999", title = "Nuclear and Trace Ideals in Tensored $\ast $-Categories", journal = "J.~Pure Appl.~Algebra", volume = "143", number = "1--3", pages = "3--47", doi = "10.1016/S0022-4049(98)00106-6", ) @article(aamv03, author = "Peter Aczel and Ji\v {r}\'\i \ Ad\'amek and Stefan Milius and Ji\v {r}\'\i \ Velebil", year = "2003", title = "Infinite Trees and Completely Iterative Theories: A Coalgebraic View", journal = "Theoret.~Comput.~Sci.", volume = "300", pages = "1--45", doi = "10.1016/S0304-3975(02)00728-4", ) @article(am06, author = "Ji\v {r}\'\i \ Ad\'{a}mek and Stefan Milius", year = "2006", title = "Terminal Coalgebras and Free Iterative Theories", journal = "Inform.~and Comput.", volume = "204", pages = "1139--1172", doi = "10.1016/j.ic.2005.11.005", ) @inproceedings(AppelMRV07:popl, author = "Andrew W. Appel and Paul-Andr{\'e} Melli{\`e}s and Christopher D. Richards and J{\'e}r{\^o}me Vouillon", year = "2007", title = "A very modal model of a modern, major, general type system", editor = "Martin Hofmann and Matthias Felleisen", booktitle = "POPL", publisher = "ACM", pages = "109--122", url = "http://doi.acm.org/10.1145/1190216.1190235", ) @unpublished(AtkeyMB13:icfp, author = "Robert Atkey and Conor McBride", year = "2013", title = "Productive Coprogramming with Guarded Recursion", note = "Accepted for ICFP", ) @article(badouel89, author = "Eric Badouel", year = "1989", title = "Terms and infinite trees as monads over a signature", journal = "Lecture Notes Comput.~Sci.", volume = "351", pages = "89--103", doi = "10.1007/3-540-50939-9\_126", ) @inproceedings(BentonT09:tldi, author = "Nick Benton and Nicolas Tabareau", year = "2009", title = "Compiling functional types to relational specifications for low level imperative code", editor = "Andrew Kennedy and Amal Ahmed", booktitle = "TLDI", publisher = "ACM", pages = "3--14", url = "http://doi.acm.org/10.1145/1481861.1481864", ) @inproceedings(BirkedalM13:lics, author = "Lars Birkedal and Rasmus E. M{\o }gelberg", year = "2013", title = "Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes", booktitle = "Proceedings of LICS", pages = "213--222", doi = "10.1109/LICS.2013.27", ) @article(BirkedalMSS12:lmcs, author = "Lars Birkedal and Rasmus E. M{\o }gelberg and Jan Schwinghammer and Kristian St{\o }vring", year = "2012", title = "First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees", journal = "Logical Methods in Computer Science", volume = "8", number = "4:1", pages = "1--45", doi = "10.2168/LMCS-8(4:1)2012", ) @book(be93, author = "Stephen L. Bloom and Zolt\'an \'Esik", year = "1993", title = "Iteration Theories: the equational logic of iterative processes", series = "EATCS Monographs on Theoretical Computer Science", publisher = "Springer", ) @article(cp92, author = "Roy L. Crole and Andrew M. Pitts", year = "1992", title = "New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and FIX-Logic", journal = "Inform.~and Comput.", volume = "98", number = "2", pages = "171--210", doi = "10.1016/0890-5401(92)90018-B", ) @incollection(DiGianantonioM04:fossacs, author = "Pietro Di Gianantonio and Marino Miculan", year = "2004", title = "Unifying Recursive and Co-recursive Definitions in Sheaf Categories", editor = "Igor Walukiewicz", booktitle = "Foundations of Software Science and Computation Structures", series = "Lecture Notes in Computer Science", volume = "2987", publisher = "Springer Berlin / Heidelberg", pages = "136--150", url = "http://dx.doi.org/10.1007/978-3-540-24727-2\_11", note = "10.1007/978-3-540-24727-2\_11", ) @inproceedings(elgot75, author = "Calvin C. Elgot", year = "1975", title = "Monadic Computation and Iterative Algebraic Theories", editor = "H. E. Rose and J. C. Sheperdson", booktitle = "Logic Colloquium '73", volume = "80", publisher = "North-Holland Publishers", address = "Amsterdam", pages = "175--230", doi = "10.1007/978-1-4613-8177-8\_6", ) @article(ebt78, author = "Calvin C. Elgot and Stephen L. Bloom and Ralph Tindell", year = "1978", title = "On the algebraic structure of rooted trees", journal = "J.~Comput.~System Sci.", volume = "16", pages = "362--399", doi = "10.1007/978-1-4613-8177-8\_7", ) @book(h99, author = "Masahito Hasegawa", year = "1999", title = "Models of Sharing Graphs: A Categorical Semantics of \textsf {let} and \textsf {letrec}", series = "Distinguished Dissertation Series", publisher = "Springer", doi = "10.1007/978-1-4471-0865-8", ) @inproceedings(h97, author = "Masihito Hasegawa", year = "1997", title = "Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi", booktitle = "Proc.~3rd International Conference on Typed Lambda Calculi and Applications", series = "Lecture Notes Comput.~Sci.", volume = "1210", publisher = "Springer-Verlag", pages = "196--213", doi = "10.1007/3-540-62688-3\_37", ) @article(jsv96, author = "Andr\'e Joyal and Ross Street and Dominic Verity", year = "1996", title = "Traced Monoidal Categories", journal = "Math.~Proc.~Cambridge Philos.~Soc.", volume = "119", number = "3", pages = "447--468", doi = "10.1017/S0305004100074338", ) @inproceedings(KrishnaswamiB11:icfp, author = "Neelakantan R. Krishnaswami and Nick Benton", year = "2011", title = "A semantic model for graphical user interfaces", editor = "Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy", booktitle = "ICFP", publisher = "ACM", pages = "45--57", url = "http://doi.acm.org/10.1145/2034773.2034782", ) @inproceedings(KrishnaswamiB11:lics, author = "Neelakantan R. Krishnaswami and Nick Benton", year = "2011", title = "Ultrametric Semantics of Reactive Programs", booktitle = "LICS", organization = "IEEE Computer Society", publisher = "IEEE Computer Society", pages = "257--266", url = "http://dx.doi.org/10.1109/LICS.2011.38", ) @article(m05, author = "Stefan Milius", year = "2005", title = "Completely Iterative Algebras and Completely Iterative Monads", journal = "Inform.~and Comput.", volume = "196", pages = "1--41", doi = "10.1016/j.ic.2004.05.003", ) @book(milner89, author = "Robin Milner", year = "1989", title = "Communication and Concurrency", series = "International Series in Computer Science", publisher = "Prentice Hall", ) @inproceedings(mulry94, author = "Philip S. Mulry", year = "1994", title = "Lifting Theorems for {K}leisli Categories", editor = "S. Brookes and M. Main and A. Melton and M. Mislove and D. Schmidt", booktitle = "Proc.~Mathematical Foundations of Programming Semantics (MFPS'93)", series = "Lecture Notes Comput.~Sci.", volume = "802", publisher = "Springer", pages = "304--319", doi = "10.1007/3-540-58027-1\_15", ) @inproceedings(Nakano00:lics, author = "Hiroshi Nakano", year = "2000", title = "A Modality for Recursion", booktitle = "LICS", publisher = "IEEE Computer Society", pages = "255--266", doi = "10.1109/LICS.2000.855774", ) @inproceedings(Nakano01:tacs, author = "Hiroshi Nakano", year = "2001", title = "Fixed-Point Logic with the Approximation Modality and Its {K}ripke Completeness", editor = "Naoki Kobayashi and Benjamin C. Pierce", booktitle = "TACS", series = "Lecture Notes in Computer Science", volume = "2215", publisher = "Springer", pages = "165--182", doi = "10.1007/3-540-45500-0\_8", ) @inproceedings(sp00, author = "Alex Simpson and Gordon D. Plotkin", year = "2000", title = "Complete axioms for categorical fixed-point operators", booktitle = "Proc.~15th Symposium on Logic in Computer Science (LICS'00)", organization = "IEEE Computer Society", pages = "30--41", doi = "10.1109/LICS.2000.855753", )