Denis Cousineau

According to our database1, Denis Cousineau authored at least 5 papers between 2007 and 2012.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2012
On completeness of reducibility candidates as a semantics of strong normalization
Logical Methods in Computer Science, 2012

A Semantic Proof that Reducibility Candidates entail Cut Elimination.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

TLA + Proofs.
Proceedings of the FM 2012: Formal Methods, 2012

2009
Modèles et normalisation des preuves. (Models and proof normalization).
PhD thesis, 2009

2007
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007


  Loading...