3 citations · 3 across the 1 of their papers we have counts for
4 papers
Measurable Cones and Stable, Measurable Functions
Thomas Ehrhard, Michele Pagani, Christine Tasson
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives…
A Fully Abstract Semantics for Value-passing CCS for Trees
Shichao Liu, Thomas Ehrhard, Ying Jiang
This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a…
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives
Thomas Ehrhard
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We…
The stack calculus
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be…