An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC (1994)

by Marcelo P. Fiore , Gordon D. Plotkin
Citations:34 - 6 self

Active Bibliography

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
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
3 Order-Enrichment for Categories of Partial Maps – Marcelo P. Fiore - 1993
1 Inductive, Projective, and Retractive Types – Brian T. Howard - 1993
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006