The following pages link to Denis Cousineau (Q701128):
Displaying 7 items.
- Extending statistics of extremes to distributions varying in position and scale and the implications for race models (Q701130) (← links)
- How many decimals? Rounding descriptive and inferential statistics based on measurement precision (Q2197106) (← links)
- Learning curves as strong evidence for testing models: the case of EBRW (Q2437254) (← links)
- On completeness of reducibility candidates as a semantics of strong normalization (Q2881069) (← links)
- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo (Q3612625) (← links)
- TLA + Proofs (Q4647839) (← links)
- A Semantic Proof that Reducibility Candidates entail Cut Elimination (Q5111901) (← links)