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

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Get full text

Equality Saturation: A New Approach to Optimization

Get full text

Functional Interpretations of Intuitionistic Linear Logic

Get full text

From coinductive proofs to exact real arithmetic: theory and applications

Get full text

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Get full text

A calculus for costed computations

Get full text