# Denis Cousineau

According to our database

Collaborative distances:

^{1}, Denis Cousineau authored at least 5 papers between 2007 and 2012.Collaborative distances:

## 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