Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

Get full text

On the characterization of models of H*: The semantical aspect

Get full text

FO2(

Get full text

Non-Obfuscated Unprovable Programs & Many Resultant Subtleties

Get full text

Generic algorithms for halting problem and optimal machines revisited

Get full text

Order-Invariant Types and Their Applications

Get full text

A Sorted Semantic Framework for Applied Process Calculi

Get full text

History-Register Automata

Get full text

Simulation Problems Over One-Counter Nets

Get full text

Separating Regular Languages with First-Order Logic

Get full text

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed

Get full text

Weak topologies for Linear Logic

Get full text

Proof equivalence in MLL is PSPACE-complete

Get full text

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Get full text

Typed realizability for first-order classical analysis

Get full text

Type-based Self-stabilisation for Computational Fields

Get full text

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees

Get full text

A Program Logic for Verifying Secure Routing Protocols

Get full text

A finer reduction of constraint problems to digraphs

Get full text

Preservation and decomposition theorems for bounded degree structures

Get full text