Logical Step-Indexed Logical Relations

Get full text

Noncomputable functions in the Blum-Shub-Smale model

Get full text

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Get full text

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Get full text

Model Checking CTL is Almost Always Inherently Sequential

Get full text

Banach Spaces as Data Types

Get full text

Ludics with repetitions (Exponentials, Interactive types and Completeness)

Get full text

Towards a Proof Theory of Gödel Modal Logics

Get full text

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

Get full text

Symbolic and Asynchronous Semantics via Normalized Coalgebras

Get full text

Decidable Expansions of Labelled Linear Orderings

Get full text

Automated Synthesis of Tableau Calculi

Get full text

A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance

Get full text

CFA2: a Context-Free Approach to Control-Flow Analysis

Get full text

Existential witness extraction in classical realizability and via a negative translation

Get full text

From formulas to cirquents in computability logic

Get full text

Semantics of Higher-Order Recursion Schemes

Get full text

Being Van Kampen is a universal property

Get full text

Relating coalgebraic notions of bisimulation

Get full text

Psi-calculi: a framework for mobile processes with nominal data and logic

Get full text