| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A fully abstract semantics for a nondeterministic functional language with monadic types
|
Jeffrey, Alan
|
|
1995
|
1 |
C |
p. 290-301
12 p.
|
article
|
| 2 |
A Name-free Account of Action Calculi
|
Gardner, Philippa
|
|
1995
|
1 |
C |
p. 214-231
18 p.
|
article
|
| 3 |
Bireflectivity
|
Freyd, P.J.
|
|
1995
|
1 |
C |
p. 199-213
15 p.
|
article
|
| 4 |
Bisimilarity as a Theory of Functional Programming
|
Gordon, Andrew D.
|
|
1995
|
1 |
C |
p. 232-252
21 p.
|
article
|
| 5 |
Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus
|
Maraist, John
|
|
1995
|
1 |
C |
p. 370-392
23 p.
|
article
|
| 6 |
Categories for synchrony and asynchrony
|
Cockett, J.R.B.
|
|
1995
|
1 |
C |
p. 66-90
25 p.
|
article
|
| 7 |
Computability and Complexity from a Programming Perspective (MFPS Draft preview)
|
Jones, Neil D.
|
|
1995
|
1 |
C |
p. 313-333
21 p.
|
article
|
| 8 |
Concurrent Semantics for the π-calculus 1 1 Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.
|
Montanari, Ugo
|
|
1995
|
1 |
C |
p. 411-429
19 p.
|
article
|
| 9 |
Denotational Models for Unbounded Nondeterminism 1 1 Work partially supported by the Office of Naval Research
|
Mislove, Michael W.
|
|
1995
|
1 |
C |
p. 393-410
18 p.
|
article
|
| 10 |
Domain Theory in Learning Processes
|
Edalat, A.
|
|
1995
|
1 |
C |
p. 114-131
18 p.
|
article
|
| 11 |
Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces
|
Flagg, Bob
|
|
1995
|
1 |
C |
p. 182-198
17 p.
|
article
|
| 12 |
Fixing the Semantics of Some Concurrent Object-Oriented Concepts
|
Jones, C.B.
|
|
1995
|
1 |
C |
p. 307-312
6 p.
|
article
|
| 13 |
Full Abstraction for Strongly Fair Communicating Processes
|
Brookes, Stephen
|
|
1995
|
1 |
C |
p. 46-65
20 p.
|
article
|
| 14 |
Generalizing Coherence Spaces and Hypercoherences
|
Lamarche, François
|
|
1995
|
1 |
C |
p. 355-369
15 p.
|
article
|
| 15 |
Granularity and the Development of Concurrent Programs
|
Jones, C.B.
|
|
1995
|
1 |
C |
p. 302-306
5 p.
|
article
|
| 16 |
Maximal Limit Spaces, Powerspaces, and Scott Domains
|
Hoover, D.N.
|
|
1995
|
1 |
C |
p. 253-272
20 p.
|
article
|
| 17 |
Objects, Interference, and the Yoneda Embedding
|
O'Hearn, Peter W.
|
|
1995
|
1 |
C |
p. 487-514
28 p.
|
article
|
| 18 |
On a Modal λ-Calculus for S4 1 1 This work is supported by NSF Grant CCR-9303383 and the Advanced Research Projects Agency under ARPA Order No. 8313.
|
Pfenning, F.
|
|
1995
|
1 |
C |
p. 515-534
20 p.
|
article
|
| 19 |
Operational Semantics of a Focusing Debugger
|
Bernstein, Karen L.
|
|
1995
|
1 |
C |
p. 13-31
19 p.
|
article
|
| 20 |
Preface
|
Brookes, Steve
|
|
1995
|
1 |
C |
p. 557-558
2 p.
|
article
|
| 21 |
Scott Induction and Equational Proofs
|
Ésik, Z.
|
|
1995
|
1 |
C |
p. 154-181
28 p.
|
article
|
| 22 |
Solutions of Functorial and Non-Functorial Metric Domain Equations 1 1 Work partially supported by ECC Science project MASK and by MURST 40% grants.
|
Alessi, F.
|
|
1995
|
1 |
C |
p. 1-12
12 p.
|
article
|
| 23 |
Subtypes and bounded quantification from a fibred perspective
|
Jacobs, B.P.F.
|
|
1995
|
1 |
C |
p. 273-289
17 p.
|
article
|
| 24 |
Syntactic Control of Interference Revisited
|
O'Hearn, P.W.
|
|
1995
|
1 |
C |
p. 447-486
40 p.
|
article
|
| 25 |
The Smyth Completion
|
Schellekens, M.
|
|
1995
|
1 |
C |
p. 535-556
22 p.
|
article
|
| 26 |
Type Inference for Recursively Constrained Types and its Application to OOP
|
Eifrig, Jonathan
|
|
1995
|
1 |
C |
p. 132-153
22 p.
|
article
|
| 27 |
Types, Logic, and Semantics for Nested Databases
|
Jung, Achim
|
|
1995
|
1 |
C |
p. 334-354
21 p.
|
article
|
| 28 |
Universality and Powerdomains
|
Nüßler, K.J.
|
|
1995
|
1 |
C |
p. 430-446
17 p.
|
article
|
| 29 |
Weak Behavioral Subtyping for Types with Mutable Objects
|
Dhara, Krishna Kishore
|
|
1995
|
1 |
C |
p. 91-113
23 p.
|
article
|
Journal description