Follow
Christine Tasson
Christine Tasson
Maître de conférence
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
Nominal techniques in Isabelle/HOL
C Urban, C Tasson
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
1492005
Probabilistic coherence spaces are fully abstract for probabilistic PCF
T Ehrhard, C Tasson, M Pagani
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
922014
A convenient differential category
R Blute, T Ehrhard, C Tasson
arXiv preprint arXiv:1006.3140, 2010
692010
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
T Ehrhard, M Pagani, C Tasson
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
602017
An explicit formula for the free exponential modality of linear logic
PA Melliès, N Tabareau, C Tasson
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009
552009
The computational meaning of probabilistic coherence spaces
T Ehrhard, M Pagani, C Tasson
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 87-96, 2011
482011
Equivalence of algebraic λ-calculi
A Díaz-Caro, S Perdrix, C Tasson, B Valiron
Informal proceedings of HOR, 6-11, 2010
41*2010
Full abstraction for probabilistic PCF
T Ehrhard, M Pagani, C Tasson
Journal of the ACM (JACM) 65 (4), 1-44, 2018
382018
The taylor expansion inverse problem in linear logic
M Pagani, C Tasson
Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer …, 2009
35*2009
Distributed computability in Byzantine asynchronous systems
H Mendes, C Tasson, M Herlihy
Proceedings of the forty-sixth annual ACM symposium on Theory of computing …, 2014
33*2014
Probabilistic call by push value
T Ehrhard, C Tasson
arXiv preprint arXiv:1607.04690, 2016
292016
Sémantiques et syntaxes vectorielles de la logique linéaire
C Tasson
Université Paris-Diderot-Paris VII, 2009
272009
Algebraic totality, towards completeness
C Tasson
Typed Lambda Calculi and Applications: 9th International Conference, TLCA …, 2009
242009
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of -terms
M Pagani, C Tasson, L Vaux
Foundations of Software Science and Computation Structures: 19th …, 2016
232016
The free exponential modality of probabilistic coherence spaces
R Crubillé, T Ehrhard, M Pagani, C Tasson
Foundations of Software Science and Computation Structures: 20th …, 2017
182017
An explicit formula for the free exponential modality of linear logic
PA Melliès, N Tabareau, C Tasson
Mathematical Structures in Computer Science 28 (7), 1253-1286, 2018
172018
Mackey-complete spaces and power series–a topological model of differential linear logic
M Kerjean, C Tasson
Mathematical Structures in Computer Science 28 (4), 472-507, 2018
162018
Taylor expansion for call-by-push-value
J Chouquet, C Tasson
CSL, 2020
112020
Transport of finiteness structures and applications
C Tasson, L Vaux
Mathematical Structures in Computer Science 28 (7), 1061-1096, 2018
102018
Local validity for circular proofs in linear logic with fixed points
R Nollet, A Saurin, C Tasson
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20