arXiv Open Access 2023

The Undecidability of Unification Modulo $σ$ Alone

Gilles Dowek

Lihat Sumber

Abstrak

The rewriting system sigma is the set of rules propagating explicit substitutions in the lambda-calculus with explicit substitutions. In this note, we prove the undecidability of unification modulo sigma.

Topik & Kata Kunci

cs.LO

Penulis (1)

Gilles Dowek

Format Sitasi

APA MLA BibTeX

Dowek, G. (2023). The Undecidability of Unification Modulo $σ$ Alone. https://arxiv.org/abs/2305.06214

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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