Denis Cousineau

Available identifiers

Publication	Date of Publication	Type
How many decimals? Rounding descriptive and inferential statistics based on measurement precision	2020-09-04	Paper
A Semantic Proof that Reducibility Candidates entail Cut Elimination	2020-05-27	Paper
Learning curves as strong evidence for testing models: the case of EBRW	2014-03-03	Paper
TLA + Proofs	2012-11-08	Paper
On completeness of reducibility candidates as a semantics of strong normalization	2012-04-03	Paper
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo	2009-03-10	Paper
Extending statistics of extremes to distributions varying in position and scale and the implications for race models	2002-10-16	Paper

This page was built for person: Denis Cousineau