Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Get full text

Rational streams coalgebraically

Get full text

Consistency and Completeness of Rewriting in the Calculus of Constructions

Get full text

Game Refinement Relations and Metrics

Get full text

Coinductive Formal Reasoning in Exact Real Arithmetic

Get full text

Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

Get full text

Separability in the Ambient Logic

Get full text

Exhaustible sets in higher-type computation

Get full text

Canonical calculi with (n,k)-ary quantifiers

Get full text

Enriched MU-Calculi Module Checking

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Visibly Tree Automata with Memory and Constraints

Get full text

A lower bound on web services composition

Get full text

Relational Parametricity and Separation Logic

Get full text

On the Expressiveness and Complexity of ATL

Get full text

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Get full text

Semi-continuous Sized Types and Termination

Get full text

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

Get full text

Normalization of IZF with Replacement

Get full text

Normalisation Control in Deep Inference via Atomic Flows

Get full text