scientific article
From MaRDI portal
Publication:3086777
zbMath1226.03014MaRDI QIDQ3086777
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(M\)-setssemanticssimply typed \(\lambda\)-calculusfragments of classical higher-order logichigher-order theorem prover TPStype of truth values
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
