Operationally-based theories of program equivalence (1997)

by Andrew Pitts
Venue:Semantics and Logics of Computation
Citations:76 - 4 self

Active Bibliography

9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
5 Full Abstraction by Translation – Guy Mccusker - 1996
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
2 How Linear is Howe? – Roy L. Crole - 1996
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
5 Themes in Final Semantics – Marina Lenisa - 1998
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
2 Bisimilarity for the region calculus – Simon Helsen
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
11 Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs – Louise Dennis, Alan Bundy, Ian Green - 1997
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Elementary Order Theory – unknown authors