A Co-induction Principle for Recursively Defined Domains (0)

Cached

Download Links

by Andrew Pitts
Venue:Theoretical Computer Science
Citations:40 - 3 self

Active Bibliography

5 A Co-induction Principle for Recursively De ned Domains, Theoretical Computer Science – Andrew M. Pitts - 1992
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
99 Relational Properties of Domains – Andrew M. Pitts - 1996
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
231 Domain Theory in Logical Form – Samson Abramsky - 1991
23 Domain theory for concurrency – Mikkel Nygaard - 2003
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
3 Domain separation by construction – William Harrison, Mark Tullsen, James Hook - 2003