Denis Cousineau

Available identifiers

zbMath Open cousineau.denisMaRDI QIDQ701128

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Denis Cousineau