A Rewriting View of Simple Typing

Get full text

Asymptotically almost all lambda-terms are strongly normalizing

Get full text

Counting CTL

Get full text

Type classes for efficient exact real arithmetic in Coq

Get full text

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Get full text

Probabilistic modal {mu}-calculus with independent product

Get full text

A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Get full text

The Structure of Differential Invariants and Differential Cut Elimination

Get full text

On computable approximations of Landau's constant

Get full text

Environment and classical channels in categorical quantum mechanics

Get full text

Adaptable processes

Get full text

Linear Dependent Types and Relative Completeness

Get full text

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

Get full text

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

Get full text

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Get full text

Off-line test selection with test purposes for non-deterministic timed automata

Get full text

On Berry's conjectures about the stable order in PCF

Get full text

Parameterised Multiparty Session Types

Get full text

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Get full text

On streams that are finitely red

Get full text