nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('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. |
artikel |
2 |
A Name-free Account of Action Calculi
|
Gardner, Philippa |
|
1995 |
1 |
C |
p. 214-231 18 p. |
artikel |
3 |
Bireflectivity
|
Freyd, P.J. |
|
1995 |
1 |
C |
p. 199-213 15 p. |
artikel |
4 |
Bisimilarity as a Theory of Functional Programming
|
Gordon, Andrew D. |
|
1995 |
1 |
C |
p. 232-252 21 p. |
artikel |
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. |
artikel |
6 |
Categories for synchrony and asynchrony
|
Cockett, J.R.B. |
|
1995 |
1 |
C |
p. 66-90 25 p. |
artikel |
7 |
Computability and Complexity from a Programming Perspective (MFPS Draft preview)
|
Jones, Neil D. |
|
1995 |
1 |
C |
p. 313-333 21 p. |
artikel |
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. |
artikel |
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. |
artikel |
10 |
Domain Theory in Learning Processes
|
Edalat, A. |
|
1995 |
1 |
C |
p. 114-131 18 p. |
artikel |
11 |
Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces
|
Flagg, Bob |
|
1995 |
1 |
C |
p. 182-198 17 p. |
artikel |
12 |
Fixing the Semantics of Some Concurrent Object-Oriented Concepts
|
Jones, C.B. |
|
1995 |
1 |
C |
p. 307-312 6 p. |
artikel |
13 |
Full Abstraction for Strongly Fair Communicating Processes
|
Brookes, Stephen |
|
1995 |
1 |
C |
p. 46-65 20 p. |
artikel |
14 |
Generalizing Coherence Spaces and Hypercoherences
|
Lamarche, François |
|
1995 |
1 |
C |
p. 355-369 15 p. |
artikel |
15 |
Granularity and the Development of Concurrent Programs
|
Jones, C.B. |
|
1995 |
1 |
C |
p. 302-306 5 p. |
artikel |
16 |
Maximal Limit Spaces, Powerspaces, and Scott Domains
|
Hoover, D.N. |
|
1995 |
1 |
C |
p. 253-272 20 p. |
artikel |
17 |
Objects, Interference, and the Yoneda Embedding
|
O'Hearn, Peter W. |
|
1995 |
1 |
C |
p. 487-514 28 p. |
artikel |
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. |
artikel |
19 |
Operational Semantics of a Focusing Debugger
|
Bernstein, Karen L. |
|
1995 |
1 |
C |
p. 13-31 19 p. |
artikel |
20 |
Preface
|
Brookes, Steve |
|
1995 |
1 |
C |
p. 557-558 2 p. |
artikel |
21 |
Scott Induction and Equational Proofs
|
Ésik, Z. |
|
1995 |
1 |
C |
p. 154-181 28 p. |
artikel |
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. |
artikel |
23 |
Subtypes and bounded quantification from a fibred perspective
|
Jacobs, B.P.F. |
|
1995 |
1 |
C |
p. 273-289 17 p. |
artikel |
24 |
Syntactic Control of Interference Revisited
|
O'Hearn, P.W. |
|
1995 |
1 |
C |
p. 447-486 40 p. |
artikel |
25 |
The Smyth Completion
|
Schellekens, M. |
|
1995 |
1 |
C |
p. 535-556 22 p. |
artikel |
26 |
Type Inference for Recursively Constrained Types and its Application to OOP
|
Eifrig, Jonathan |
|
1995 |
1 |
C |
p. 132-153 22 p. |
artikel |
27 |
Types, Logic, and Semantics for Nested Databases
|
Jung, Achim |
|
1995 |
1 |
C |
p. 334-354 21 p. |
artikel |
28 |
Universality and Powerdomains
|
Nüßler, K.J. |
|
1995 |
1 |
C |
p. 430-446 17 p. |
artikel |
29 |
Weak Behavioral Subtyping for Types with Mutable Objects
|
Dhara, Krishna Kishore |
|
1995 |
1 |
C |
p. 91-113 23 p. |
artikel |