A Load-Buffer Semantics for Total Store Ordering

Get full text

Globular: an online proof assistant for higher-dimensional rewriting

Get full text

The Ho-Zhao Problem

Get full text

Soundness in negotiations

Get full text

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