Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term

zbMath0820.03007MaRDI QIDQ1892095

Ying Jiang

Publication date: 5 July 1995

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

zbMATH Keywords

automorphismconsistencysemanticslambda calculusbeta-models

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Graph easy sets of mute lambda terms, Easiness in graph models, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, Infinite \(\lambda\)-calculus and types, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models