Extending the Applicability Condition in the Formal System $\lambda \delta$

Ferruccio Guidi

The formal system $\lambda \delta$ is a typed lambda calculus derived from ${\Lambda }_{\infty }$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for ex…