Ferruccio Guidi
Ferruccio Guidi
Verified email at cs.unibo.it - Homepage
Title
Cited by
Cited by
Year
Mathematical knowledge management in HELM
A Asperti, L Padovani, CS Coen, F Guidi, I Schena
Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003
902003
A content based mathematical search engine: Whelp
A Asperti, F Guidi, C Sacerdoti Coen, E Tassi, S Zacchiroli
Types for Proofs and Programs, 17-32, 2006
702006
A survey on retrieval of mathematical knowledge
F Guidi, CS Coen
Mathematics in Computer Science 10 (4), 409-427, 2016
412016
ELPI: Fast, Embeddable, Prolog Interpreter
C Dunchev, F Guidi, CS Coen, E Tassi
Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015
392015
A query language for a metadata framework about mathematical resources
F Guidi, I Schena
International Conference on Mathematical Knowledge Management, 105-118, 2003
362003
Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge
F Guidi
PhD thesis. UBLCS 2003-06, UniversitÓ di Bologna, 2003
202003
Querying distributed digital libraries of mathematics
F Guidi, C Sacerdoti Coen
11th Symposium on the Integration of Symbolic Computation and Mechanizedá…, 2003
182003
The formal system λδ
F Guidi
ACM Transactions on Computational Logic (TOCL) 11 (1), Article n. 5, 2009
162009
Procedural representation of cic proof terms
F Guidi
Journal of Automated Reasoning 44 (1-2), 53, 2010
82010
Implementing type theory in higher order constraint logic programming
F Guidi, CS Coen, E Tassi
Mathematical Structures in Computer Science 29 (8), 1125-1150, 2019
42019
Landau’s “Grundlagen der Analysis” from Automath to lambda-delta
F Guidi
Tec. Rep. UBLCS 2009-16, UniversitÓ di Bologna, 2009
42009
Lambda types on the lambda calculus with abbreviations
F Guidi
arXiv preprint cs/0611040, 2006
42006
Standardization and confluence in pure lambda-calculus formalized for the matita theorem prover
F Guidi
Journal of Formalized Reasoning 5 (1), 1-25, 2012
32012
Verified Representations of Landau's" Grundlagen" in the lambda-delta Family and in the Calculus of Constructions
F Guidi
Journal of Formalized Reasoning 8 (1), 93-116, 2016
22016
Extending the Applicability Condition in the Formal System\lambda\delta
F Guidi
22015
An Efficient Validation Procedure for the Formal System λδ
F Guidi
6th Conference on Computability in Europe (CiE 2010), CMATI Booklet, 204-213, 2010
2*2010
λ-Types on the λ-Calculus with Abbreviations: a Certified Specification
F Guidi
Tech. Rep. UBLCS 2006-01, UniversitÓ di Bologna, 2006
22006
The Formal System λδ Revised - Stage A: Extending the Applicability Condition
F Guidi
arXiv preprint arXiv:1411.0154, 2014
12014
Two Formal Systems of the Family Revised
F Guidi
arXiv preprint arXiv:1911.12749, 2019
2019
The Formal System\lambda\Upsilon P
F Guidi
2017
The system can't perform the operation now. Try again later.
Articles 1–20