19. CSL 2005: Oxford, UK

Invited Lectures

Semantics and Logics

Type Theory and Lambda Calculus

Linear Logic and Ludics

Constraints

Finite Models, Decidability and Complexity

Verification and Model Checking

Constructive Reasoning and Computational Mathematics

Implicit Computational Complexity and Rewriting

Appendices