3 citations · 5 across the 4 of their papers we have counts for
5 papers
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
Rob Nederpelt, Ferruccio Guidi
Terms in the lambda-calculus can be represented as planar trees decorated with symbols for abstraction and application, and having variables as leaves. In this paper, we concentrat…
A Formal System for the Universal Quantification of Schematic Variables
Ferruccio Guidi
We advocate the use of de Bruijn's universal abstraction for the quantification of schematic variables in the predicative setting and we present a typed -calculus fea…
A Survey on Retrieval of Mathematical Knowledge
F. Guidi, C. Sacerdoti Coen
We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and…
Extending the Applicability Condition in the Formal System
Ferruccio Guidi
The formal system is a typed lambda calculus derived from , aiming to support the foundations of Mathematics that require an underlying theory of expressions (for ex…
The Formal System lambda-delta
F. Guidi
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features…