On Statman's Finite Completeness Theorem

09/07/2023

∙

by   Richard Statman, et al.

∙

0

∙

share

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the λ-definability conjecture implies the higher-order matching conjecture.