Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A Semantic Framework for Proof Evidence. | 5 | 0.44 | 2017 |
| Foundational proof certificates in first-order logic | 9 | 0.66 | 2013 |
| Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). | 4 | 0.47 | 2013 |
| A prismoid framework for languages with resources | 5 | 0.42 | 2011 |
| The Prismoid of Resources | 7 | 0.47 | 2009 |