Consistency and Completeness of Rewriting in the Calculus of Constructions

Constraint Propagation for First-Order Logic and Inductive Definitions

Constraint-based automatic verification of abstract models of multithreaded programs

Constraint-Based Deadlock Checking of High-Level Specifications

Constructing Recursion Operators in Intuitionistic Type Theory

Containment, Equivalence and Coreness from CSP to QCSP and beyond

Context Semantics, Linear Logic and Computational Complexity

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

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