David Thibodeau

Identifiers

No identifiers captured yet.

Papers (3)

1. A Type Theory for Defining Logics and Proofs cs.LO · 2019 · author #2
2. Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies cs.CR · 2018 · author #3
3. Index-Stratified Types (Extended Version) cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Brigitte Pientka 2 shared papers
• Andreas Abel 1 shared papers
• Brian N. Levine 1 shared papers
• Francisco Ferreira 1 shared papers
• George Bissias 1 shared papers
• Rebecca Zucchini 1 shared papers
• Rohan Jacob-Rao 1 shared papers