BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ricciotti:Wilmer

Contributed to:

ESOP 20152015
CADE 20112011
CSL 20172017
PPDP 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.