Context-Sensitive Languages, Rational Graphs and Determinism

Contextual hypotheses and semantics of logic programs

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

Continuations, proofs and tests

Contraction-free proofs and finitary games for Linear Logic

Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications

Controlling program extraction in Elementary Linear Logic

Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers

Conway games, algebraically and coalgebraically

Coordination via Interaction Constraints I: Local Logic

Coq in a Hurry

Coquet: a Coq library for verifying hardware

Cores of Countably Categorical Structures

Correspondences between Classical, Intuitionistic and Uniform Provability

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

Covered Clause Elimination

Covering of ordinals

Craig Interpolation for Quantifier-Free Presburger Arithmetic

Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL

Curry-style type Isomorphisms and Game Semantics