Degrees of sensible lambda theories
From MaRDI portal
Publication:4194931
DOI10.2307/2271947zbMath0408.03012MaRDI QIDQ4194931
Jan A. Bergstra, Jan Willem Klop, H. P. Barendregt, Henri Volken
Publication date: 1978
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271947
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work