- 2 402 202 книги
#1
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext)
Guerino Mazzola, Gerard Milmeister, Jody WeissmannКатегория: Компьютеры
3.72 Mb
#2
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley, Jonathan P. SeldinКатегория: Математика, Комбинаторика
2.06 Mb
#4
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext) (v. 2)
Guerino Mazzola, Gérard Milmeister, Jody Weissmann
3.51 Mb
#7
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
H.P. Barendregt
3.81 Mb
#8
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
H.P. Barendregt
12.73 Mb
#10
A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)
Kamal Abdali
4.61 Mb
#11
A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973
Kamal Abdali
2.04 Mb
#12
Introduction to Lambda calculus
Barendregt H., Barendsen E.Категория: Computer science, Computability
251 Kb
#16
Lambda-Calculus and Computer Science Theory
C. BöhmКатегория: Cs_Computer science, CsLn_Lecture notes
2.48 Mb
