Relational Properties of Recursively Defined Domains (1993)

Cached

Download Links

by Andrew M. Pitts
Venue:In 8th Annual Symposium on Logic in Computer Science
Citations:15 - 2 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
99 Relational Properties of Domains – Andrew M. Pitts - 1996
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
22 Computational Adequacy via `Mixed' Inductive Definitions – Andrew M. Pitts - 1994
1 Semantic Orthogonality of Type Disciplines – Jon G. Riecke, Ramesh Subrahmanyam - 1997
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
Computational Adequacy via `Mixed ' Inductive De nitions – Andrew M. Pitts
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
3 Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages – Nick Benton , Andrew Kennedy, Carsten Varming - 2010
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993