|
21
|
Relational Reasoning about Contexts
– Søren B. Lassen
- 1998
|
|
|
Denotational Semantics Using an Operationally-Based Term Model
– Mitchell Wand, Gregory T. Sullivan
- 1997
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
|
Higher Order Operationational Techniques in Semantics - Introduction
– A. D. Gordon, A. M. Pitts (Eds)
|
|
23
|
Games and full abstraction for nondeterministic languages
– Russell S. Harmer
- 1999
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
27
|
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
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
20
|
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
– Alan Jeffrey
- 1995
|
|
9
|
A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation
– Alan Jeffrey
- 1994
|
|
33
|
Reasoning about local variables with operationally-based logical relations
– Andrew M. Pitts
- 1996
|
|
17
|
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages
– David Sands
- 1997
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
128
|
Games and Full Abstraction for the Lazy lambda-calculus
– Samson Abramsky, Guy Mccusker
- 1995
|
|
4
|
Full Abstraction by Translation
– Guy Mccusker
- 1996
|
|
9
|
Improvement Theory and its Applications
– David Sands
- 1997
|
