scientific article; zbMATH DE number 6420239
zbMath1318.01002MaRDI QIDQ4983482
Publication date: 27 March 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of computer science (68-03) Combinatory logic and lambda calculus (03B40) Theory of computing (68Qxx) Proof theory and constructive mathematics (03Fxx) Computer science (68-XX) Computability and recursion theory (03Dxx)
Related Items (1)
This page was built for publication:
