Nominal techniques in Isabelle/HOL C Urban, C Tasson Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 149 | 2005 |
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 | 92 | 2014 |
A convenient differential category R Blute, T Ehrhard, C Tasson arXiv preprint arXiv:1006.3140, 2010 | 69 | 2010 |
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 | 60 | 2017 |
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 | 55 | 2009 |
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 | 48 | 2011 |
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 | 38 | 2018 |
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 | 29 | 2016 |
Sémantiques et syntaxes vectorielles de la logique linéaire C Tasson Université Paris-Diderot-Paris VII, 2009 | 27 | 2009 |
Algebraic totality, towards completeness C Tasson Typed Lambda Calculi and Applications: 9th International Conference, TLCA …, 2009 | 24 | 2009 |
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 | 23 | 2016 |
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 | 18 | 2017 |
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 | 17 | 2018 |
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 | 16 | 2018 |
Taylor expansion for call-by-push-value J Chouquet, C Tasson CSL, 2020 | 11 | 2020 |
Transport of finiteness structures and applications C Tasson, L Vaux Mathematical Structures in Computer Science 28 (7), 1061-1096, 2018 | 10 | 2018 |
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 | 9 | 2018 |