arXiv Open Access 2023

On Statman's Finite Completeness Theorem

Richard Statman Gilles Dowek

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.LO

Penulis (2)

Richard Statman

Gilles Dowek

Format Sitasi

APA MLA BibTeX

Statman, R., Dowek, G. (2023). On Statman's Finite Completeness Theorem. https://arxiv.org/abs/2309.03602

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓