Terkko Navigator / -/ Feeds / "lambda-calcul "

Lambda calculus, Lambda-calcul, Informatique appliquée, lambda-calcul typé, sähkökirjat

Lambda calculus, Processes, Infinite, Rewriting systems (Computer science), Lambda-calcul, Processus infinis, Réécriture, Systèmes de (Informatique), MATHEMATICS, Aspektorientierte Programmierung, Constraint-Programmierung, Lambda-Kalkül, Prozessalgebra, Reduktionssystem, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Klop, J. W, Processes, sähkökirjat

Curry-Howard isomorphism, Lambda calculus, Proof theory, MATHEMATICS, Lambda-calculus, Programmeren (computers), sähkökirjat

Combinatory logic, Lambda calculus, e-böcker