How Linear is Howe? (1996)

Cached

Download Links

by Roy L. Crole
Venue:ADVANCES IN THEORY AND FORMAL METHODS
Citations:2 - 1 self

Active Bibliography

76 Operationally-based theories of program equivalence – Andrew Pitts - 1997
2 Mechanized Operational Semantics via (Co)Induction – Simon J. Ambler, Roy L. Crole - 1999
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
Adding Input-Output to PCF – Jerzy Tiuryn, Mitchell Wand - 1995
5 Action Semantics Reasoning About Functional Programs – S.B. Lassen - 1996
1 Incremental lambda lifting: An exercise in almost-denotational semantics – Gregory T. Sullivan, Mitchell Wand - 1996
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
11 Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs – Louise Dennis, Alan Bundy, Ian Green - 1997
Elementary Order Theory – unknown authors
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
2 Bisimilarity for the region calculus – Simon Helsen
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
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse