Ferruccio Guidi

According to our database, Ferruccio Guidi authored at least 15 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

A Formal System for the Universal Quantification of Schematic Variables.

Ferruccio Guidi

ACM Trans. Comput. Log., 2022

2019

Implementing type theory in higher order constraint logic programming.

Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Math. Struct. Comput. Sci., 2019

Two Formal Systems of the $λδ$ Family Revised.

Ferruccio Guidi

CoRR, 2019

2016

A Survey on Retrieval of Mathematical Knowledge.

Ferruccio Guidi, Claudio Sacerdoti Coen

Math. Comput. Sci., 2016

2015

Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions.

Ferruccio Guidi

J. Formaliz. Reason., 2015

ELPI: Fast, Embeddable, λProlog Interpreter.

Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

The Formal System λδ Revised - Stage A: Extending the Applicability Condition.

Ferruccio Guidi

CoRR, 2014

2012

Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover.

Ferruccio Guidi

J. Formaliz. Reason., 2012

Type systems for dummies.

Andrea Asperti, Ferruccio Guidi

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

2010

Procedural Representation of CIC Proof Terms.

Ferruccio Guidi

J. Autom. Reason., 2010

2009

The formal system lambdadelta.

Ferruccio Guidi

ACM Trans. Comput. Log., 2009

2006

Lambda Types on the Lambda Calculus with Abbreviations

Ferruccio Guidi

CoRR, 2006

2004

A Content Based Mathematical Search Engine: Whelp.

Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003

Mathematical Knowledge Management in HELM.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Ann. Math. Artif. Intell., 2003

A Query Language for a Metadata Framework about Mathematical Resources.

Ferruccio Guidi, Irene Schena

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003