Explicit substitutions and strong normalization
Coherence in braided monoidal categories
Axiomatic Rewriting Theory
Proof Theory & Games Semantics
Asynchronous Games Semantics
Categorical algebra of proofs and programs
Type Theory & Realizability
Constructive Type Theory
Recursive types and low-level languages
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders, usually the publishers. All
persons and robots copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit
permission of the copyright holder.
The electronic versions of the papers available here may differ from the published versions. The authoritative versions are the published ones.