Complete Axioms for Categorical Fixed-point Operators (2000)

by Alex Simpson , Gordon Plotkin
Venue:In Proceedings of 15th Annual Symposium on Logic in Computer Science
Citations:29 - 6 self

Active Bibliography

62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten F├╝hrmann, Alex Simpson - 2003
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
88 Categorical Logic – Andrew M. Pitts - 1995
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
and uniform parameterized fixpoint operators – Tarmo Uustalu
16 Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) – Marcelo Fiore, Gordon Plotkin, John Power - 1997
15 Relational Properties of Recursively Defined Domains – Andrew M. Pitts - 1993
7 The Uniformity Principle on Traced Monoidal Categories – Masahito Hasegawa - 2003
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
A categorical and graphical . . . – Ralf Schweimeier, Alan Jeffrey - 1999