Calculating modules in contextual logic program refinement

Call-by-value, call-by-name and the vectorial behaviour of algebraic λ-calculus

Can Nondeterminism Help Complementation?

Canonical calculi with (n,k)-ary quantifiers

Canonical decomposition of catenation of factorial languages

Capturing Polynomial Time on Interval Graphs

Cardinality and counting quantifiers on omega-automatic structures

Cartesian effect categories are Freyd-categories

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Categorical Models for a Semantically Linear Lambda-calculus

Causality and the Semantics of Provenance

Causality in the Semantics of Esterel: Revisited

Causality, Knowledge and Coordination in Distributed Systems

Certified Exact Transcendental Real Number Computation in Coq

Chain Programs for Writing Deterministic Metainterpreters

Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

Characterising equilibrium logic and nested logic programs: Reductions and complexity

Characterising Probabilistic Processes Logically

Characterising Testing Preorders for Finite Probabilistic Processes

Characteristic Formulae for Fixed-Point Semantics: A General Framework