| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Process Structures (Extended Abstract)
|
Honda, Kohei
|
|
1996
|
3 |
C |
p. 89-105
17 p.
|
artikel
|
| 2 |
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Extended Abstract)
|
Nagayama, Misao
|
|
1996
|
3 |
C |
p. 153-
1 p.
|
artikel
|
| 3 |
A Noncommutative Full Completeness Theorem
|
Blute, R.F.
|
|
1996
|
3 |
C |
p. 28-38
11 p.
|
artikel
|
| 4 |
Broadening the denotational semantics of linear logic
|
Pratt, Vaughan
|
|
1996
|
3 |
C |
p. 155-166
12 p.
|
artikel
|
| 5 |
Coherent Banach Spaces: a continuous denotational semantics extended abstract
|
Girard, Jean-Yves
|
|
1996
|
3 |
C |
p. 81-87
7 p.
|
artikel
|
| 6 |
Computational isomorphisms in classical logic
|
Danos, Vincent
|
|
1996
|
3 |
C |
p. 183-195
13 p.
|
artikel
|
| 7 |
Encoding Transition Systems in Sequent Calculus: Preliminary Report
|
McDowell, Raymond
|
|
1996
|
3 |
C |
p. 138-152
15 p.
|
artikel
|
| 8 |
Forum as a Logic Programming Language: Preliminary Report
|
Hodas, Joshua S.
|
|
1996
|
3 |
C |
p. 196-207
12 p.
|
artikel
|
| 9 |
From Proof Nets to Games
|
Lamarche, François
|
|
1996
|
3 |
C |
p. 107-119
13 p.
|
artikel
|
| 10 |
Generalized standardization lemma for the additives
|
Tortora de Falco, Lorenzo
|
|
1996
|
3 |
C |
p. 220-232
13 p.
|
artikel
|
| 11 |
Intuitionism — Counting its Blessings. Preliminary version
|
van Dalen, Dirk
|
|
1996
|
3 |
C |
p. 39-
1 p.
|
artikel
|
| 12 |
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
|
Abramsky, Samson
|
|
1996
|
3 |
C |
p. 2-14
13 p.
|
artikel
|
| 13 |
Linear Logic for Taxonomical Networks and Database Updates Preliminary Report
|
Fouqueré, Christophe
|
|
1996
|
3 |
C |
p. 61-74
14 p.
|
artikel
|
| 14 |
On denotational completeness extended abstract
|
Girard, Jean-Yves
|
|
1996
|
3 |
C |
p. 75-80
6 p.
|
artikel
|
| 15 |
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs
|
Retoré, Christian
|
|
1996
|
3 |
C |
p. 167-182
16 p.
|
artikel
|
| 16 |
Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs (Extended Abstract)
|
Okada, Mitsuhiro
|
|
1996
|
3 |
C |
p. 154-
1 p.
|
artikel
|
| 17 |
Preface
|
Girard, Jean-Yves
|
|
1996
|
3 |
C |
p. 1-
1 p.
|
artikel
|
| 18 |
Remarks on Elementary Linear Logic
|
Pedicini, Marco
|
|
1996
|
3 |
C |
p. 208-219
12 p.
|
artikel
|
| 19 |
Reversible, Irreversible and Optimal λ-machines
|
Danos, Vincent
|
|
1996
|
3 |
C |
p. 40-60
21 p.
|
artikel
|
| 20 |
Simulating Computations in Second Order Non-Commutative Linear Logic (Preliminary Report)
|
Kanovich, Max I.
|
|
1996
|
3 |
C |
p. 106-
1 p.
|
artikel
|
| 21 |
Some remarks on cyclic linear logic preliminary report
|
Métayer, François
|
|
1996
|
3 |
C |
p. 130-137
8 p.
|
artikel
|
| 22 |
The Complexity of Local Proof Search in Linear Logic
|
Lincoln, Patrick D.
|
|
1996
|
3 |
C |
p. 120-129
10 p.
|
artikel
|
| 23 |
Towards a Classical Linear λ-calculus (Preliminary Report)
|
Bierman, G.M.
|
|
1996
|
3 |
C |
p. 15-27
13 p.
|
artikel
|
| 24 |
Two Extensions of PX system (extended abstract)
|
Hayashi, Susumu
|
|
1996
|
3 |
C |
p. 88-
1 p.
|
artikel
|
Tijdschrift beschrijving