Ferruccio Guidi

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 4

Top Topics

Mathematical Knowledge

Top Venues

J. Formaliz. Reason.

Math. Comput. Sci.

Math. Struct. Comput. Sci.

Publications

Ferruccio Guidi
A Formal System for the Universal Quantification of Schematic Variables. ACM Trans. Comput. Log. 23 (1) (2022)
Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
Implementing type theory in higher order constraint logic programming. Math. Struct. Comput. Sci. 29 (8) (2019)
Ferruccio Guidi
Two Formal Systems of the $λδ$ Family Revised. CoRR (2019)
Ferruccio Guidi, Claudio Sacerdoti Coen
A Survey on Retrieval of Mathematical Knowledge. Math. Comput. Sci. 10 (4) (2016)
Ferruccio Guidi
Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions. J. Formaliz. Reason. 8 (1) (2015)
Ferruccio Guidi, Claudio Sacerdoti Coen
A Survey on Retrieval of Mathematical Knowledge. CoRR (2015)
Ferruccio Guidi, Claudio Sacerdoti Coen
A Survey on Retrieval of Mathematical Knowledge. CICM (2015)
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
ELPI: Fast, Embeddable, \lambda Prolog Interpreter. LPAR (2015)
Ferruccio Guidi
The Formal System λδ Revised - Stage A: Extending the Applicability Condition. CoRR (2014)
Ferruccio Guidi
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover. J. Formaliz. Reason. 5 (1) (2012)
Andrea Asperti, Ferruccio Guidi
Type systems for dummies. TLDI (2012)
Ferruccio Guidi
Procedural Representation of CIC Proof Terms. J. Autom. Reason. 44 (1-2) (2010)
Ferruccio Guidi
The formal system lambdadelta. ACM Trans. Comput. Log. 11 (1) (2009)
Ferruccio Guidi
Lambda Types on the Lambda Calculus with Abbreviations CoRR (2006)
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
A Content Based Mathematical Search Engine: Whelp. TYPES (2004)
Ferruccio Guidi, Irene Schena
A Query Language for a Metadata Framework about Mathematical Resources. MKM (2003)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38 (1-3) (2003)