8. CSL 1994: Kazimierz, Poland

Lambda Calculus

Proof Theory

Finite Model Theory

Logic Programming

Semantics

Category Theory

Other Logical Systems

maintained by Schloss Dagstuhl LZI at University of Trier