An axiomatic approach to binary logical relations with applications to data refinement
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 191-212
- https://doi.org/10.1007/bfb0014552
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A logic for parametric polymorphismPublished by Springer Nature ,2006
- Continuation Semantics and Self-adjointnessElectronic Notes in Theoretical Computer Science, 1997
- Lax naturality through enrichmentJournal of Pure and Applied Algebra, 1996
- Relational Properties of DomainsInformation and Computation, 1996
- Parametricity and local variablesJournal of the ACM, 1995
- A type-theoretical alternative to ISWIM, CUCH, OWHYTheoretical Computer Science, 1993
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monadsJournal of Pure and Applied Algebra, 1993
- Representation independence and data abstractionPublished by Association for Computing Machinery (ACM) ,1986
- Toposes, Triples and TheoriesPublished by Springer Nature ,1985
- LCF considered as a programming languageTheoretical Computer Science, 1977