Ferruccio Guidi

Available identifiers

zbMath Open guidi.ferruccioMaRDI QIDQ1810902

List of research outcomes

Publication	Date of Publication	Type
A Formal System for the Universal Quantification of Schematic Variables	2022-12-08	Paper
Implementing type theory in higher order constraint logic programming	2019-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q5195246	2019-09-18	Paper
Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions	2019-09-18	Paper
A survey on retrieval of mathematical knowledge	2017-07-25	Paper
ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter	2016-01-12	Paper
A survey on retrieval of mathematical knowledge	2015-11-20	Paper
The formal system λδ	2015-09-17	Paper
Procedural representation of CIC proof terms	2010-01-25	Paper
Types for Proofs and Programs	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4413886	2003-07-21	Paper
Mathematical knowledge management in HELM	2003-06-09	Paper
Mathematical knowledge management in HELM	2002-02-14	Paper

Research outcomes over time

This page was built for person: Ferruccio Guidi