Volume 3; Issue none

1

Preface: Volume 3, Issue 1

Year:
1996
Language:
english
File:
PDF, 33 KB
english, 1996
3

Towards a Classical Linear λ-calculus (Preliminary Report)

Year:
1996
Language:
english
File:
PDF, 791 KB
english, 1996
7

On denotational completeness extended abstract

Year:
1996
Language:
english
File:
PDF, 261 KB
english, 1996
9

Abstract Process Structures (Extended Abstract)

Year:
1996
Language:
english
File:
PDF, 788 KB
english, 1996
11

From Proof Nets to Games: extended abstract

Year:
1996
Language:
english
File:
PDF, 681 KB
english, 1996
13

Some remarks on cyclic linear logic preliminary report

Year:
1996
Language:
english
File:
PDF, 368 KB
english, 1996
19

Forum as a Logic Programming Language: Preliminary Report

Year:
1996
Language:
english
File:
PDF, 683 KB
english, 1996
20

Remarks on Elementary Linear Logic: Preliminary Report

Year:
1996
Language:
english
File:
PDF, 572 KB
english, 1996
22

A Noncommutative Full Completeness Theorem: (Extended Abstract)

Year:
1996
Language:
english
File:
PDF, 741 KB
english, 1996