zbMath1226.03014MaRDI QIDQ3086777
Chad Edward Brown
Publication date: 30 March 2011
zbMATH Keywords
\(M\)-sets; semantics; simply typed \(\lambda\)-calculus; fragments of classical higher-order logic; higher-order theorem prover TPS; type of truth values
Mathematics Subject Classification ID
03B35: Mechanization of proofs and logical operations
03B40: Combinatory logic and lambda calculus