29 citations · 90 across the 13 of their papers we have counts for
13 papers
Absolute convergence and Taylor expansion in web based models of Linear Logic
Christine Tasson, Aymeric Walch
The differential -calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has…
Density-Based Semantics for Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Christine Tasson
Synchronous languages are now a standard industry tool for critical embedded systems. Designers write high-level specifications by composing streams of values using block diagrams.…
The linear-non-linear substitution 2-monad
Martin Hyland, Christine Tasson
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the constructio…
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…
Probabilistic call by push value
Thomas Ehrhard, Christine Tasson
We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language ca…
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms
Michele Pagani, Christine Tasson, Lionel Vaux
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cu…