On the problem of deciding equality in partial combinatory algebras and in a formal system
From MaRDI portal
Publication:1236107
DOI10.1007/BF02123403zbMath0353.02009MaRDI QIDQ1236107
No author found.
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Cites Work