Travelled to:1 × Poland
1 × United Kingdom
Collaborated with:∅ J.Cheney A.Asperti C.S.Coen E.Tassi
Talks about:structur (1) interact (1) calculus (1) abstract (1) theorem (1) inspect (1) strong (1) prover (1) proven (1) normal (1)
Person: Wilmer Ricciotti
DBLP: Ricciotti:Wilmer
Contributed to:
2015
2011
2017
2017Wrote 4 papers:
- ESOP-2015-Ricciotti #data type
- Binding Structures as an Abstract Data Type (WR), pp. 762–786.
- CADE-2011-AspertiRCT #interactive #proving #theorem proving
- The Matita Interactive Theorem Prover (AA, WR, CSC, ET), pp. 64–69.
- CSL-2017-RicciottiC #normalisation
- Strongly Normalizing Audited Computation (WR, JC), p. 21.
- PPDP-2017-Ricciotti #calculus
- A core calculus for provenance inspection (WR), pp. 187–198.