Correspondence between Operational and Denotational Semantics (1995)

by C. -h. L. Ong
Venue:Handbook of Logic in Computer Science
Citations:23 - 0 self

Active Bibliography

1 Lambda Calculus – C. -h. L. Ong, C C. -h. L. Ong
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Type Theory for Programming Languages – Robert Harper - 1994
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
23 Domain theory for concurrency – Mikkel Nygaard - 2003
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
7 Partial computations in constructive type theory – Scott F. Smith - 1991
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
Introduction to Type Theory – Herman Geuvers
29 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 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
1 Theory for Software Verification – David A. Naumann - 2009
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995