Wilmer Ricciotti

Available identifiers

Publication	Date of Publication	Type
A formalization of SQL with nulls	2022-12-12	Paper
Strongly-Normalizing Higher-Order Relational Queries	2022-10-06	Paper
Query lifting. Language-integrated query for heterogeneous nested collections	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5111206	2020-05-26	Paper
Matita Tutorial	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5195248	2019-09-18	Paper
Explicit auditing	2018-11-23	Paper
Binding Structures as an Abstract Data Type	2016-04-26	Paper
A formalization of multi-tape Turing machines	2015-10-12	Paper
A canonical locally named representation of binding	2013-08-01	Paper
Rating Disambiguation Errors	2013-04-19	Paper
Formal metatheory of programming languages in the Matita interactive theorem prover	2013-04-17	Paper
Formalizing Turing Machines	2012-09-21	Paper
A Web Interface for Matita	2012-09-07	Paper
A bi-directional refinement algorithm for the calculus of (co)inductive constructions	2012-04-03	Paper
The Matita Interactive Theorem Prover	2011-07-29	Paper
A compact kernel for the calculus of inductive constructions	2009-11-23	Paper
Hints in Unification	2009-10-20	Paper
About the Formalization of Some Results by Chebyshev in Number Theory	2009-07-02	Paper

This page was built for person: Wilmer Ricciotti