|
10
|
A Sound Metalogical Semantics for Input/Output Effects
– Roy L. Crole, Andrew D. Gordon
- 1994
|
|
4
|
Full Abstraction by Translation
– Guy Mccusker
- 1996
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
31
|
Relational Reasoning about Functions and Nondeterminism
– Søren Bøgh Lassen, Søren Bøgh Lassen
- 1998
|
|
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
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
5
|
Themes in Final Semantics
– Marina Lenisa
- 1998
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
73
|
Operationally-based theories of program equivalence
– Andrew Pitts
- 1997
|
|
24
|
A Tutorial on Co-induction and Functional Programming
– Andrew D. Gordon
- 1994
|
|
|
Computational Adequacy of the FIX-Logic
– Roy L. Crole
- 1995
|
|
|
Deriving Category Theory from Type Theory
– Roy L. Crole
- 1993
|
|
1
|
On Fixpoint Objects and Gluing Constructions
– Roy L. Crole
- 1997
|
|
89
|
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report)
– P. N. Benton
- 1994
|
|
|
Concurrent Haskell
– Simon Peyton, Andrew Gordon, Sigbjorn Finne
- 1996
|
|
5
|
Composing the user interface with Haggis
– Sigbjorn Finne, Simon Peyton Jones
- 1996
|
