Old Web
English
Sign In
Acemap
>
authorDetail
>
Denis Cousineau
Denis Cousineau
École Polytechnique
Mathematics
Modulo
Calculus
Lambda cube
Natural deduction
4
Papers
79
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
New Results - Study of Formalisms
2009
Bruno Barras
Bruno Bernardo
Mathieu Boespflug
Denis Cousineau
Gilles Dowek
Guillaume Burel
Arnaud Spiwack
Germain Faure
Benjamin Werner
Show All
Source
Cite
Save
Citations (0)
Modèles et normalisation des preuves
2009
Denis Cousineau
Show All
Source
Cite
Save
Citations (0)
A semantic method to prove strong normalization from weak normalization
2009
Denis Cousineau
Show All
Source
Cite
Save
Citations (0)
Embedding pure type systems in the lambda-pi-calculus modulo
2007
TLCA | International Conference on Typed Lambda Calculi and Applications
Denis Cousineau
Gilles Dowek
Show All
Source
Cite
Save
Citations (79)
1