Degrees of sensible lambda theories

DOI10.2307/2271947zbMath0408.03012OpenAlexW2109869960MaRDI QIDQ4194931

Henri Volken, Jan A. Bergstra, Jan Willem Klop, Hendrik Pieter Barendregt

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

zbMATH Keywords

CompletenessDegrees of Sensible Lambda TheoriesLambda-ConversionMaximal Consistent Extension

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

On the construction of stable models of untyped \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• The Permutative λ-Calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

This page was built for publication: Degrees of sensible lambda theories