Christine Tasson

Generating author description...

All published works

Action	Title	Year	Authors
+	Density-Based Semantics for Reactive Probabilistic Programming	2023	Guillaume Baudart Louis Mandel Christine Tasson
+ PDF Chat	The linear-non-linear substitution 2-monad	2021	Martin Hyland Christine Tasson
+	The linear-non-linear substitution 2-monad.	2020	Martin Hyland Christine Tasson
+ PDF Chat	PROBABILISTIC CALL BY PUSH VALUE	2018	Thomas Ehrhard Christine Tasson
+ PDF Chat	PROBABILISTIC CALL BY PUSH VALUE	2018	Thomas Ehrhard Christine Tasson
+ PDF Chat	Full Abstraction for Probabilistic PCF	2018	Thomas Ehrhard Michele Pagani Christine Tasson
+	Measurable cones and stable, measurable functions	2018	Thomas Ehrhard Michele Pagani Christine Tasson
+ PDF Chat	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming	2017	Thomas Ehrhard Michele Pagani Christine Tasson
+ PDF Chat	Transport of finiteness structures and applications	2016	Christine Tasson Lionel Vaux
+ PDF Chat	Mackey-complete spaces and power series – a topological model of differential linear logic	2016	Marie Kerjean Christine Tasson
+	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of {\lambda}-terms	2016	Michele Pagani Christine Tasson Lionel Vaux
+	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms	2016	Michele Pagani Christine Tasson Lionel Vaux
+ PDF Chat	Full abstraction for probabilistic PCF	2015	Thomas Ehrhard Michele Pagani Christine Tasson
+	Mackey-complete spaces and power series -- A topological model of Differential Linear Logic	2015	Marie Kerjean Christine Tasson
+	Full abstraction for probabilistic PCF	2015	Thomas Ehrhard Michele Pagani Christine Tasson
+	Mackey-complete spaces and power series -- A topological model of Differential Linear Logic	2015	Marie Kerjean Christine Tasson
+ PDF Chat	Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus	2014	Ali Assaf Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron
+ PDF Chat	Distributed computability in Byzantine asynchronous systems	2014	Hammurabi Mendes Christine Tasson Maurice Herlihy
+	The Topology of Asynchronous Byzantine Colorless Tasks	2013	Hammurabi Mendes Christine Tasson Maurice Herlihy
+	Distributed Computability in Byzantine Asynchronous Systems	2013	Hammurabi Mendes Christine Tasson Maurice Herlihy
+	Distributed Computability in Byzantine Asynchronous Systems	2013	Hammurabi Mendes Christine Tasson Maurice Herlihy
+	Equivalence of algebraic λ-calculi	2010	Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron
+ PDF Chat	A convenient differential category	2010	Richard Blute Thomas Ehrhard Christine Tasson
+	Equivalence of Algebraic Lambda-Calculi - work in progress -	2010	Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron
+	A convenient differential category	2010	Richard Blute Thomas Ehrhard Christine Tasson
+ PDF Chat	Typed Lambda Calculi and Applications	2009	Christine Tasson

Common Coauthors

Coauthor	Papers Together
Thomas Ehrhard	9
Michele Pagani	7
Hammurabi Mendes	4
Maurice Herlihy	4
Benoît Valiron	3
Simon Perdrix	3
Lionel Vaux	3
Marie Kerjean	3
Alejandro Díaz-Caro	3
Richard Blute	2
Martin Hyland	2
Ali Assaf	1
Louis Mandel	1
Guillaume Baudart	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	On Köthe sequence spaces and linear logic	2002	Thomas Ehrhard	5
+	CATEGORICAL SEMANTICS OF LINEAR LOGIC	2009	Paul-André Melliès	4
+ PDF Chat	Differentiability of a Function and of its Compositions with Functions of One Variable.	1967	Jan Boman	3
+ PDF Chat	The cartesian closed bicategory of generalised species of structures	2007	Marcelo Fiore Nicola Gambino Martin Hyland Glynn Winskel	3
+ PDF Chat	Locally Convex Spaces	1981	Hans Jarchow	3
+ PDF Chat	Differential categories	2006	Richard Blute J.R.B. Cockett R. A. G. Seely	3
+	Elements of Algebraic Topology	2018	James R. Munkres	3
+	Topological Vector Spaces.	1967	M. S. Ramanujan Helmut Schaefer	3
+	Mixed powerdomains for probability and nondeterminism	2017	Klaus Keimel Gordon Plotkin	2
+	Between Logic and Quantic: a Tract	2004	Jean-Yves Girard	2
+ PDF Chat	A Finiteness Structure on Resource Terms	2010	Thomas Ehrhard	2
+ PDF Chat	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2016	Sam Staton Frank Wood Hongseok Yang Chris Heunen Ohad Kammar	2
+ PDF Chat	Combinatorial Algebraic Topology	2007	Dmitry N. Kozlov	2
+	A Monad for Randomized Algorithms	2016	Tyler Barker	2
+ PDF Chat	An introduction to differential linear logic: proof-nets, models and antiderivatives	2017	Thomas Ehrhard	2
+	A convenient category for higher-order probability theory	2017	Chris Heunen Ohad Kammar Sam Staton Hongseok Yang	2
+	Domains and Random Variables	2016	Michael Mislove	2
+ PDF Chat	PROBABILISTIC CALL BY PUSH VALUE	2018	Thomas Ehrhard Christine Tasson	2
+ PDF Chat	On fundamental properties of a Banach space with a cone	1962	Tsuyoshi Andô	1
+ PDF Chat	Exact real computer arithmetic with continued fractions	1988	Jean Vuillemin	1
+	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads	1993	G. M. Kelly John Power	1
+ PDF Chat	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on	1980	G. M. Kelly	1
+	Two-dimensional monad theory	1989	Robert Blackwell G. M. Kelly John Power	1
+ PDF Chat	On bornological products	1970	A. P. Robertson	1
+ PDF Chat	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES	1963	F. William Lawvere	1
+	Differential Structure, Tangent Structure, and SDG	2013	J.R.B. Cockett G. S. H. Cruttwell	1
+ PDF Chat	A Lambda Calculus for Quantum Computation	2004	André van Tonder	1
+	A Computational Definition of the Notion of Vectorial Space	2005	Pablo Arrighi Gilles Dowek	1
+	Execution Time of lambda-Terms via Denotational Semantics and Intersection Types	2009	Daniel de Carvalho	1
+	New Approach to Arakelov Geometry	2007	Nikolai Durov	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+ PDF Chat	Full abstraction for probabilistic PCF	2015	Thomas Ehrhard Michele Pagani Christine Tasson	1
+	A lambda-calculus foundation for universal probabilistic programming	2016	Johannes Borgström Ugo Dal Lago Andrew D. Gordon Marcin Szymczak	1
+	Operads, Clones, and Distributive Laws	2012	Pierre-Louis Curien	1
+	Absolutely Monotone Functions	1954	Brockway McMillan	1
+	Proceedings 8th Workshop on Fixed Points in Computer Science	2012	Dale Miller Zoltán Ésik	1
+	ELEMENTS OF ALGEBRAIC TOPOLOGY	1972	Kazimierz Kuratowski	1
+	Cartesian Differential Storage Categories	2014	Richard Blute J.R.B. Cockett R. A. G. Seely	1
+ PDF Chat	Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures	2017	Marcelo Fiore Nicola Gambino Martin Hyland Glynn Winskel	1
+	Handbook of Categorical Algebra	1994	Francis Borceux	1
+	An Application of Computable Distributions to the Semantics of Probabilistic Programs	2018	Daniel Huang Greg Morrisett Bas Spitters	1
+ PDF Chat	A convenient category for higher-order probability theory	2017	Chris Heunen Ohad Kammar Sam Staton Hongseok Yang	1
+ PDF Chat	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2016	Sam Staton Hongseok Yang Chris Heunen Ohad Kammar Frank Wood	1
+ PDF Chat	Convenient categories of smooth spaces	2011	John C. Baez Alexander E. Hoffnung	1
+	Algebraic topology	1942	Solomon Lefschetz	1
+ PDF Chat	The Vietoris Monad and Weak Distributive Laws	2019	Richard Garner	1
+ PDF Chat	Classical lambda calculus in modern dress	2015	J. M. E. Hyland	1
+ PDF Chat	A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus	2012	Pablo Arrighi Alejandro Díaz-Caro Benoît Valiron	1
+ PDF Chat	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming	2017	Thomas Ehrhard Michele Pagani Christine Tasson	1
+	Sur certains espaces de fonctions holomorphes. I.	1953	Alexandre Grothendieck	1