Ferruccio Guidi

18 papers B 1C 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus.
CoRR
Rob Nederpelt, Ferruccio Guidi
2022 J jnl
A Formal System for the Universal Quantification of Schematic Variables.
ACM Trans. Comput. Log.
Ferruccio Guidi
2019 J jnl
Implementing type theory in higher order constraint logic programming.
Math. Struct. Comput. Sci.
Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
2019 J jnl
Two Formal Systems of the $λδ$ Family Revised.
CoRR
Ferruccio Guidi
2016 J jnl
A Survey on Retrieval of Mathematical Knowledge.
Math. Comput. Sci.
Ferruccio Guidi, Claudio Sacerdoti Coen
2015 C conf
A Survey on Retrieval of Mathematical Knowledge.
CICM
Ferruccio Guidi, Claudio Sacerdoti Coen
2015 J jnl
A Survey on Retrieval of Mathematical Knowledge.
CoRR
Ferruccio Guidi, Claudio Sacerdoti Coen
2015 B conf
ELPI: Fast, Embeddable, λProlog Interpreter.
LPAR
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
2015 J jnl
Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions.
J. Formaliz. Reason.
Ferruccio Guidi
2014 J jnl
The Formal System λδ Revised - Stage A: Extending the Applicability Condition.
CoRR
Ferruccio Guidi
2012 J jnl
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover.
J. Formaliz. Reason.
Ferruccio Guidi
2012 — conf
Type systems for dummies.
TLDI
Andrea Asperti, Ferruccio Guidi
2010 J jnl
Procedural Representation of CIC Proof Terms.
J. Autom. Reason.
Ferruccio Guidi
2009 J jnl
The formal system lambdadelta.
ACM Trans. Comput. Log.
Ferruccio Guidi
2006 J jnl
Lambda Types on the Lambda Calculus with Abbreviations
CoRR
Ferruccio Guidi
2004 — conf
A Content Based Mathematical Search Engine: Whelp.
TYPES
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2003 — conf
A Query Language for a Metadata Framework about Mathematical Resources.
MKM
Ferruccio Guidi, Irene Schena
2003 J jnl
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell.
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena