Mending Fences with Self-Invalidation and Self-Downgrade

Get full text

Pushing for weighted tree automata

Get full text

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic

Get full text

Intersection Types for the lambda-mu Calculus

Get full text

Compatibility Properties of Synchronously and Asynchronously Communicating Components

Get full text

The Rice-Shapiro theorem in Computable Topology

Get full text

The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

Get full text

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus

Get full text

Matching Logic

Get full text

Privacy by typing in the $pi$-calculus

Get full text

Timed Session Types

Get full text

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

Get full text

Grilliot's trick in Nonstandard Analysis

Get full text

Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)

Get full text

From Logic to Biology via Physics: a survey

Get full text

Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees

Get full text

A Few Notes on Formal Balls

Get full text

Games for Bisimulations and Abstraction

Get full text

A Framework for Certified Self-Stabilization

Get full text

Branching Bisimilarity of Normed BPA Processes as a Rational Monoid

Get full text