A Formal System for the Universal Quantification of Schematic Variables

Ferruccio Guidi

We advocate the use of de Bruijn's universal abstraction ${\lambda }^{\infty }$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus fea…