Emmanuel Beffara
Orcid: 0000-0003-1993-3401
According to our database1,
Emmanuel Beffara
authored at least 16 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
2021
2018
Math. Struct. Comput. Sci., 2018
2015
2014
Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014
2012
2011
2009
2008
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
2006
2005
PhD thesis, 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2001