Christine Tasson
Orcid: 0000-0001-8098-9944
According to our database1,
Christine Tasson
authored at least 30 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
8
9
1
1
6
1
1
1
1
1
1
2
1
1
2
1
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
2020
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
2018
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming.
Proc. ACM Program. Lang., 2018
Math. Struct. Comput. Sci., 2018
Math. Struct. Comput. Sci., 2018
Mackey-complete spaces and power series - a topological model of differential linear logic.
Math. Struct. Comput. Sci., 2018
Distributed Comput., 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Models of Distributed, Differential and Probabilistic Computation. (Sémantiques des calculs distribués, différentiels et probabilistes).
, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
2016
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.
CoRR, 2016
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2015
Proceedings of the Distributed Computing - 29th International Symposium, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the Symposium on Theory of Computing, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2013
2011
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
2010
2009
SéMantiques et Syntaxes vectorielles de la logique LinéAIRE. (Vectorial Semantics and Syntax of Linear Logic).
PhD thesis, 2009
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
2005