Christine Tasson

41 papers A* 4A 2B 8C 1Journal 20Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Absolute convergence and Taylor expansion in web based models of Linear Logic. CoRR Christine Tasson, Aymeric Walch
2025	C	`conf`	GRust: A Programming Language for Automotive Engineering. FMICS Émilie Thomé, Xavier Denis, Christine Tasson
2023	J	`jnl`	Density-Based Semantics for Reactive Probabilistic Programming. CoRR Guillaume Baudart, Louis Mandel, Christine Tasson
2022	B	`ed.`	Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022 MFPS Justin Hsu, Christine Tasson
2021	B	`ed.`	Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings FoSSaCS Stefan Kiefer, Christine Tasson
2020	B	`conf`	Taylor expansion for Call-By-Push-Value. CSL Jules Chouquet, Christine Tasson
2020	—	`conf`	The linear-non-linear substitution 2-monad. ACT Martin Hyland, Christine Tasson
2019	B	`conf`	PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. TABLEAUX Rémi Nollet, Alexis Saurin, Christine Tasson
2019	J	`jnl`	Probabilistic call by push value. Log. Methods Comput. Sci. Thomas Ehrhard, Christine Tasson
2018	J	`jnl`	An explicit formula for the free exponential modality of linear logic. Math. Struct. Comput. Sci. Paul-André Melliès, Nicolas Tabareau, Christine Tasson
2018	J	`jnl`	Full Abstraction for Probabilistic PCF. J. ACM Thomas Ehrhard, Michele Pagani, Christine Tasson
2018	J	`jnl`	Geometric and combinatorial views on asynchronous computability. Distributed Comput. Éric Goubault, Samuel Mimram, Christine Tasson
2018	B	`conf`	Local Validity for Circular Proofs in Linear Logic with Fixed Points. CSL Rémi Nollet, Alexis Saurin, Christine Tasson
2018	J	`jnl`	Mackey-complete spaces and power series - a topological model of differential linear logic. Math. Struct. Comput. Sci. Marie Kerjean, Christine Tasson
2018	J	`jnl`	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proc. ACM Program. Lang. Thomas Ehrhard, Michele Pagani, Christine Tasson
2018	—	`book`	Models of Distributed, Differential and Probabilistic Computation. (Sémantiques des calculs distribués, différentiels et probabilistes). Christine Tasson
2018	J	`jnl`	Transport of finiteness structures and applications. Math. Struct. Comput. Sci. Christine Tasson, Lionel Vaux
2017	J	`jnl`	Measurable Cones and Stable, Measurable Functions. CoRR Thomas Ehrhard, Michele Pagani, Christine Tasson
2017	B	`conf`	Quantitative Semantics for Probabilistic Programming (Invited Talk). FSCD Christine Tasson
2017	B	`conf`	The Free Exponential Modality of Probabilistic Coherence Spaces. FoSSaCS Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
2016	J	`jnl`	Probabilistic call by push value. CoRR Thomas Ehrhard, Christine Tasson
2016	B	`conf`	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. FoSSaCS Michele Pagani, Christine Tasson, Lionel Vaux
2016	J	`jnl`	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. CoRR Michele Pagani, Christine Tasson, Lionel Vaux
2015	A	`conf`	From Geometric Semantics to Asynchronous Computability. DISC Eric Goubault, Samuel Mimram, Christine Tasson
2015	J	`jnl`	Full abstraction for probabilistic PCF. CoRR Thomas Ehrhard, Michele Pagani, Christine Tasson
2015	J	`jnl`	Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. Eric Goubault, Samuel Mimram, Christine Tasson
2015	J	`jnl`	Mackey-complete spaces and power series - A topological model of Differential Linear Logic. CoRR Marie Kerjean, Christine Tasson
2014	—	`ed.`	25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. JFLA Christine Tasson, David Baelde
2014	J	`jnl`	Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
2014	A*	`conf`	Distributed computability in Byzantine asynchronous systems. STOC Hammurabi Mendes, Christine Tasson, Maurice Herlihy
2014	A*	`conf`	Probabilistic coherence spaces are fully abstract for probabilistic PCF. POPL Thomas Ehrhard, Christine Tasson, Michele Pagani
2013	J	`jnl`	The Topology of Asynchronous Byzantine Colorless Tasks CoRR Hammurabi Mendes, Christine Tasson, Maurice Herlihy
2011	A*	`conf`	The Computational Meaning of Probabilistic Coherence Spaces. LICS Thomas Ehrhard, Michele Pagani, Christine Tasson
2010	J	`jnl`	A convenient differential category CoRR Richard Blute, Thomas Ehrhard, Christine Tasson
2010	J	`jnl`	Transport of finiteness structures and applications CoRR Christine Tasson, Lionel Vaux
2009	—	`conf`	Algebraic Totality, towards Completeness. TLCA Christine Tasson
2009	J	`jnl`	Algebraic totality, towards completeness CoRR Christine Tasson
2009	—	`conf`	An Explicit Formula for the Free Exponential Modality of Linear Logic. ICALP (2) Paul-André Melliès, Nicolas Tabareau, Christine Tasson
2009	—	`—`	SéMantiques et Syntaxes vectorielles de la logique LinéAIRE. (Vectorial Semantics and Syntax of Linear Logic). Christine Tasson
2009	A*	`conf`	The Inverse Taylor Expansion Problem in Linear Logic. LICS Michele Pagani, Christine Tasson
2005	A	`conf`	Nominal Techniques in Isabelle/HOL. CADE Christian Urban, Christine Tasson