 | 2012 |
|---|
| 6 |       | Andrea Asperti,
Ferruccio Guidi:
Type systems for dummies.
TLDI 2012: 79-90 |
| 2010 |
|---|
| 5 | | Ferruccio Guidi:
Procedural Representation of CIC Proof Terms.
J. Autom. Reasoning 44(1-2): 53-78 (2010) |
| 2009 |
|---|
| 4 | | Ferruccio Guidi:
The formal system lambdadelta.
ACM Trans. Comput. Log. 11(1): (2009) |
| 2004 |
|---|
| 3 | | Andrea Asperti,
Ferruccio Guidi,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp.
TYPES 2004: 17-32 |
| 2003 |
|---|
| 2 | | Ferruccio Guidi,
Irene Schena:
A Query Language for a Metadata Framework about Mathematical Resources.
MKM 2003: 105-118 |
| 1 | | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Ferruccio Guidi,
Irene Schena:
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page