The following pages link to Ferruccio Guidi (Q1810902):
Displaying 12 items.
- Mathematical knowledge management in HELM (Q1810904) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- (Q2767919) (← links)
- The formal system λδ (Q2946591) (← links)
- ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter (Q3460075) (← links)
- (Q4413886) (← links)
- A Formal System for the Universal Quantification of Schematic Variables (Q5056357) (← links)
- (Q5195246) (← links)
- Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions (Q5195263) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Types for Proofs and Programs (Q5898170) (← links)
