Publications of Ferruccio Guidi
![[Separator]](download/rainbow.png "Separator")
- F. Guidi: Procedural
Representation of CIC Proof Terms (accepted: February 2009;
published online: June
2009). In JAR 44(1-2) Special Issue on PLMMS, Springer
(February 2010), pp. 53-78.
- F. Guidi: The Formal System λδ
(accepted and published online: July 2008). In ToCL 11(1), ACM (October
2009), article n. 5.
CoRR
identifier:
arXiv:cs/0611040.
- A. Asperti, L. Padovani, C. Sacerdoti Coen, F.Guidi, I. Schena: Mathematical Knowledge Management in HELM.
In
AMAI
38(1),
Kluwer
Academic
Publishers
(May
2003),
pp.
27-46.
- A. Asperti, F.Guidi: Type
Systems for Dummies (accepted: November 2011). In
proc. of 7th ACM SIGPLAN Workshop on Types in Language Design and
Implementation (TLDI 2012). ACM (January 2012), pp. 79-90.
- A. Asperti, F.Guidi, C. Sacerdoti Coen, E. Tassi, S. Zacchiroli: A Content Based Mathematical Search
Engine: Whelp. In proc. of Types for Proofs and
Programs: International Workshop
(Types 2004). LNCS 3839, Springer (January
2006), pp.
17-32.
- F. Guidi, C. Sacerdoti Coen: Querying
Distributed
Digital
Libraries
of
Mathematics. In proc.
of 11th Symposium on the Integration of Symbolic Computation
and Mechanized Reasoning (Calculemus 2003). Aracne (September 2003),
pp.
17-30.
- F. Guidi, I. Schena: A Query
Language for a Metadata Framework about Mathematical Resources.
In proc. of 2nd International Conference on Mathematical Knowledge
Management (MKM 2003). LNCS 2594, Springer (February 2003), pp. 105-118.
- F. Guidi: An Efficient
Validation Procedure for the Formal System λδ. In local proc. of
6th Conference on Computability in Europe (CiE 2010). CMATI Booklet,
Centre for Applied Mathematics and Information Technology, Department
of Mathematics, University of Azores (July 2010), pp. 204-213.
- F. Guidi: Procedural
Representation of CIC Proof Terms. In local proc. of Programming
Languages for Mechanized Mathematics Workshop (PLMMS 2007). RISC Report
Series 07-10 (3120), University of Linz (June 2007), pp. 36-52.
- F. Guidi: Lambda Types on the
Lambda Calculus with Abbreviations. In local proc. of 3rd
Conference on Computability in Europe (CiE 2007). Quaderni del
Dipartimento di
Scienze Matematiche e Informatiche "Roberto Magari" ID 487, University
of
Siena (June 2007), p. 387.
- F. Guidi, C. Sacerdoti Coen: Querying
Distributed
Digital
Libraries
of
Mathematics. In local proc. of
Calculemus 2003 conference. Technical report LIP6 2003/010, Laboratoire
D'Informatique de Paris 6 (September 2003), pp. 17-30.
- A. Asperti, L. Padovani, C. Sacerdoti Coen, F. Guidi, I. Schena: Mathematical Knowledge Management in HELM.
In
local
proc.
of
1st
International
Workshop
on
Mathematical
Knowledge
Management (MKM 2001), University of Linz (September 2001), article n.
3.
- F. Guidi: Landau's
"Grundlagen der Analysis" from Automath to lambda-delta.
Technical report UBLCS 2009-16, University of
Bologna (September 2009).
- F. Guidi: A Note on Basic
Implication. Technical report UBLCS
2009-01, University of Bologna (January 2009).
- F. Guidi: Lambda-Types on the
Lambda-Calculus with Abbreviations. Technical report UBLCS
2006-25, University of Bologna (November 2006).
- F. Guidi: Lambda-Types on the
Lambda-Calculus with Abbreviations: a Certified Specification.
Technical report UBLCS 2006-01, University of Bologna (January 2006).
- F. Guidi: Searching and
Retrieving in Content-based Repositories of Formal Mathematical
Knowledge. Ph.D. Thesis in Computer Science. Technical report
UBLCS 2003-06, University of Bologna (March 2003).
- F.Guidi: A Note on Basic
Implication. Typescript note (March 2002).
- F. Guidi: Il terzo teorema di
Gödel-Kreisel nella teoria intuizionistica dei tipi di Martin-Löf.
Graduation Thesis in Mathematics, University of Padova (July 1998).
Last update: 2012-02-12