Ferruccio Guidi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Formal System for the Universal Quantification of Schematic Variables ACM Transactions on Computational Logic	2022-12-08	Paper
Implementing type theory in higher order constraint logic programming Mathematical Structures in Computer Science	2019-10-09	Paper
scientific article; zbMATH DE number 7106482 (Why is no real title available?)	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 Mathematics in Computer Science	2017-07-25	Paper
ELPI: fast, embeddable, \(\lambda \)Prolog interpreter Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
A survey on retrieval of mathematical knowledge Lecture Notes in Computer Science	2015-11-20	Paper
The formal system λδ ACM Transactions on Computational Logic	2015-09-17	Paper
Procedural representation of CIC proof terms Journal of Automated Reasoning	2010-01-25	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
scientific article; zbMATH DE number 1951633 (Why is no real title available?)	2003-07-21	Paper
Mathematical knowledge management in HELM Annals of Mathematics and Artificial Intelligence	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