Relational Properties of Domains (1996)

Cached

Download Links

by Andrew M. Pitts
Venue:Information and Computation
Citations:99 - 5 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
15 Relational Properties of Recursively Defined Domains – Andrew M. Pitts - 1993
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
22 Computational Adequacy via `Mixed' Inductive Definitions – Andrew M. Pitts - 1994
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)