Weak Cat-Operads

Get full text

Complexity of Problems of Commutative Grammars

Get full text

Effective zero-dimensionality for computable metric spaces

Get full text

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

Get full text

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

Get full text

Extracting verified decision procedures: DPLL and Resolution

Get full text

On the relative proof complexity of deep inference via atomic flows

Get full text

Monads need not be endofunctors

Get full text

Program Logics for Homogeneous Generative Run-Time Meta-Programming

Get full text

Permission-Based Separation Logic for Multithreaded Java Programs

Get full text

A Hoare logic for the coinductive trace-based big-step semantics of While

Get full text

Stochastic Parity Games on Lossy Channel Systems

Get full text

Globally Governed Session Semantics

Get full text

A Robust Class of Data Languages and an Application to Learning

Get full text

Quantified CTL: Expressiveness and Complexity

Get full text

Global semantic typing for inductive and coinductive computing

Get full text

Bounded variation and the strength of Helly's selection theorem

Get full text

Sub-computable Boundedness Randomness

Get full text

Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

Get full text

State of Büchi Complementation

Get full text