scientific article
From MaRDI portal
Publication:3086779
zbMath1226.03025MaRDI QIDQ3086779
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Collected or selected works; reprintings or translations of classics (01A75) Combinatory logic and lambda calculus (03B40)
This page was built for publication: