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
https://portal.mardi4nfdi.de/entity/Q2767919	2002-02-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ferruccio Guidi