scientific article; zbMATH DE number 3430630
From MaRDI portal
Publication:5181345
zbMath0274.02010MaRDI QIDQ5181345
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25) Combinatory logic and lambda calculus (03B40)
Related Items (2)
The axiom of choice and combinatory logic ⋮ A global representation of the recursive functions in the \(\lambda\)- calculus
This page was built for publication:
