|
2
|
A Filter Model for Concurrent λ-Calculus
– Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno
- 1998
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
1
|
Degrees of Parallelism
– Bernd Lichtenthäler, D Siegen
- 1996
|
|
|
Sequential Languages
– Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
|
|
|
PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke)
– Ugo de'Liguoro
- 1996
|
|
|
The sigma-Semantics: A Comprehensive Semantics for Functional Programs
– Olaf Chitil
- 1997
|
|
|
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)
– Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen
- 1992
|
|
|
Faithful Ideal Models for RecursivePolymorphic Types
– Mart'in Abadi Benjamin, Benjamin Pierce, Gordon Plotkin
- 1991
|
|
1
|
The Discriminating Power of Multiplicities in the Lambda-Calculus
– Gérard Boudol, Cosimo Laneve
- 1996
|
|
4
|
A First Order Logic of Effects
– Ian A. Mason
- 1996
|
|
1
|
A Syntactic Method for Proving Observational Equivalences
– Martin Odersky, Martin Odersky
- 1993
|
|
1
|
Observable Semantics and Dynamic Analysis of Computational Processes
– Salvador Lucas
- 2000
|
|
5
|
Behavioural Theories
– M. Bidoit, R. Hennicker
- 1995
|
|
1
|
Modal Logic and Algebraic Specifications
– Lawrence S. Moss, Satish R. Thatte
- 1993
|
|
1
|
lambda-Calculus, Multiplicities and the pi-Calculus
– Gérard Boudol, Cosimo Laneve, Cosimo Laneve
- 1995
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
4
|
Note on Algol and Conservatively Extending Functional Programming
– Peter O'Hearn
- 1995
|
|
4
|
The Coverage of Operational Semantics
– Scott F. Smith
- 1998
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
