scientific article; zbMATH DE number 3561307
From MaRDI portal
Publication:4133944
zbMath0361.02037MaRDI QIDQ4133944
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
One method of defining the semantics of programming language constructs in terms of lambda calculus. II ⋮ On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems ⋮ Computer theorem proving in mathematics
This page was built for publication:
