15. CSL 2001: Paris, France

Invited Papers

Contributed Papers

Descriptive Complexity

Semantics

Higher-Order Programs

Modal Logics

Verification

Automata

Lambda-Calculus

Induction

Equational Calculus

Constructive Theory of Types