Ferruccio Guidi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2022

A Formal System for the Universal Quantification of Schematic VariablesFerruccio Guidi. tocl, 23(1), 2022. [doi]

2019

Implementing type theory in higher order constraint logic programmingFerruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. mscs, 29(8):1125-1150, 2019. [doi]

2016

A Survey on Retrieval of Mathematical KnowledgeFerruccio Guidi, Claudio Sacerdoti Coen. mics, 10(4):409-427, 2016. [doi]

2015

ELPI: Fast, Embeddable, \lambda Prolog InterpreterCvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. lpar 2015: 460-468 [doi]

Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of ConstructionsFerruccio Guidi. jfrea, 8(1):93-116, 2015. [doi]

A Survey on Retrieval of Mathematical KnowledgeFerruccio Guidi, Claudio Sacerdoti Coen. mkm 2015: 296-315 [doi]

2012

Type systems for dummiesAndrea Asperti, Ferruccio Guidi. tldi 2012: 79-90 [doi]

Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem ProverFerruccio Guidi. jfrea, 5(1):1-25, 2012. [doi]

2010

Procedural Representation of CIC Proof TermsFerruccio Guidi. JAR, 44(1-2):53-78, 2010. [doi]

2009

The formal system lambdadeltaFerruccio Guidi. tocl, 11(1), 2009. [doi]

2004

A Content Based Mathematical Search Engine: WhelpAndrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. TYPES 2006: 17-32 [doi]

2003

Mathematical Knowledge Management in HELMAndrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena. AMAI, 38(1-3):27-46, 2003.

A Query Language for a Metadata Framework about Mathematical ResourcesFerruccio Guidi, Irene Schena. mkm 2003: 105-118 [doi]

Sign in or sign up to see more results.

runs on WebDSL