Alexis Bernadet
According to our database1,
Alexis Bernadet
authored at least 6 papers
between 2011 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
0
1
2
3
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
2014
Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information).
PhD thesis, 2014
2013
Log. Methods Comput. Sci., 2013
2011
Complexity of Strongly Normalising <i>λ</i>-Terms via Non-idempotent Intersection Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Computer Science Logic, 2011