Lectures on Linear LogicA.S. Troelstra1 Introduction
2 Sequent calculus for linear logic
3 Some elementary syntactic results
4 The calculus of two implications
5 Embeddings and approximations
6 Natural deduction systems for linear logic
7 Hillbert-type systemens
8 Algebraic semantics
9 Combinational linear logic
10 Girard domains
11 Coherence in symmetric monoidal
12 The storage operator as a cofree comonoid
13 Evaluation in typed calculii
14 Computation by lazy evaluation in CCC's
15 Computatio...
€2,00