21st CSL 2007: Lausanne, Switzerland

Refine list

showing all ?? records

Invited Lectures

Logic and Games

Expressiveness

Games and Trees

Logic and Deduction

Lambda Calculus 1

Lambda Calculus 2

Finite Model Theory

Linear Logic

Proof Theory

Game Semantics

a service of  Schloss Dagstuhl - Leibniz Center for Informatics