|
2
|
An operational domain-theoretic treatment of recursive types
– Weng Kin Ho
- 2006
|
|
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
|
|
21
|
Relational Reasoning about Contexts
– Søren B. Lassen
- 1998
|
|
|
Adding Input-Output to PCF
– Jerzy Tiuryn, Mitchell Wand
- 1995
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
33
|
Relational interpretations of recursive types in an operational setting
– Lars Birkedal, Robert Harper
- 1997
|
|
128
|
Games and Full Abstraction for the Lazy lambda-calculus
– Samson Abramsky, Guy Mccusker
- 1995
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
11
|
Two Models of Synthetic Domain Theory
– Marcelo P. Fiore, Giuseppe Rosolini
- 1997
|
|
27
|
Syntactic considerations on recursive types
– Marcelo P. Fiore
- 1996
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
17
|
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages
– David Sands
- 1997
|
|
57
|
Game Theoretic Analysis Of Call-By-Value Computation
– Kohei Honda, NOBUKO YOSHIDA
- 1997
|
|
1
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri
- 2009
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
9
|
Operational domain theory and topology of a sequential language
– Martín Escardó, Weng Kin Ho
- 2005
|
|
|
Denotational Semantics Using an Operationally-Based Term Model
– Mitchell Wand, Gregory T. Sullivan
- 1997
|
