Regular Böhm trees
From MaRDI portal
Publication:4236203
DOI10.1017/S0960129598002643zbMath0923.03022WikidataQ56608661 ScholiaQ56608661MaRDI QIDQ4236203
Publication date: 22 March 1999
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
\(\lambda\)-calculus; decision procedure; extensional equality of total Böhm trees; regular systems of recursion equations
03B25: Decidability of theories and sets of sentences
03F05: Cut-elimination and normal-form theorems
03B40: Combinatory logic and lambda calculus
Related Items