scientific article; zbMATH DE number 512784

zbMath0795.03021MaRDI QIDQ4281477

Jerzy Tiuryn, Achim Jung

Publication date: 10 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

typed lambda calculusdecision procedureHenkin modelsapplicative structurelambda definability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (17)

Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ On the Versatility of Open Logical Relations ⋮ Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ Mechanizing logical relations ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ Galois connecting call-by-value and call-by-name ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators ⋮ Cryptographic logical relations ⋮ On phase semantics and denotational semantics: The exponentials ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A relational account of call-by-value sequentiality ⋮ A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ ⋮ On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) ⋮ Normalization by Evaluation for Typed Weak lambda-Reduction ⋮ Prelogical relations

This page was built for publication: