Saya tahu itu tidak mungkin untuk memutuskan equivalence untuk kalkulus lambda yang tidak diketik. Mengutip Barendregt, HP The Lambda Calculus: Sintaks dan Semantiknya. Holland Utara, Amsterdam (1984). :ββ\beta Jika A dan B terpisah, seperangkat istilah lambda yang ditutup berdasarkan...
18
Apakah mungkin untuk memutuskan