Domains and Denotational Semantics: History, Accomplishments and Open Problems (1996)

by Marcelo Fiore , Achim Jung , Eugenio Moggi , Peter O'Hearn , Jon Riecke , Giuseppe Rosolini , Ian Stark
Citations:29 - 7 self

Active Bibliography

23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
1 Theory for Software Verification – David A. Naumann - 2009
9 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation – Alan Jeffrey - 1994
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
32 A Semantic analysis of control – James David Laird - 1998
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
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