The basis decision problem in λ‐calculus

DOI10.1002/malq.19930390120zbMath0804.03009OpenAlexW2094015689MaRDI QIDQ4304128

Benedetto Intrigila

Publication date: 8 September 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390120

zbMATH Keywords

lambda calculusrecursive unsolvabilitybasis decision problem

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item

This page was built for publication: The basis decision problem in λ‐calculus