Logical Methods in Computer Science, Volume 7
: Semantics of Typed Lambda-Calculus with Constructors.
: Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo.
: From coinductive proofs to exact real arithmetic: theory and applications.
: Relating coalgebraic notions of bisimulation.
: Existential witness extraction in classical realizability and via a negative translation.
: Amortised Resource Analysis with Separation Logic.
Matthew R. Lakin
: Constraint solving in non-permutative nominal abstract syntax.
: Answering Non-Monotonic Queries in Relational Data Exchange.
: An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms.
, founded at