2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
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
Lambda-Calculus and Combinators: An Introduction
Автор:
J. Roger Hindley
, Автор:
Jonathan P. Seldin
Категория:
Математика
,
Комбинаторика
Размер книги: 2.06 Mb
Lambda-calculus, types and models
Автор:
Jean-Louis Krivine
, Автор:
Rene Corvi (translator)
Размер книги: 1.22 Mb
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
Lambda-Calculus: Types and Models
Автор:
Jean-Louis Krivine
Размер книги: 1.21 Mb
The lambda calculus: its syntax and semantics
Автор:
Hendrik Pieter Barendregt
Размер книги: 12.85 Mb
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
Автор:
H.P. Barendregt
Размер книги: 3.81 Mb
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
Автор:
H.P. Barendregt
Размер книги: 12.73 Mb
An Introduction to Functional Programming Through Lambda Calculus
Автор:
Greg Michaelson
Размер книги: 1.56 Mb
A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)
Автор:
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 4.61 Mb
A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973
Автор:
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 2.04 Mb
Introduction to Lambda calculus
Автор:
Barendregt H.
, Автор:
Barendsen E.
Категория:
Computer science
,
Computability
Размер книги: 251 Kb
Lambda Calculus 001
Автор:
Категория:
Papers
,
TU Wien Scripta
,
Informatik
,
Formale Sprachen und Automaten
Размер книги: 416 Kb
Introduction to Lambda Calculus
Автор:
Barendregt H.
, Автор:
Barendsen E.
Размер книги: 578 Kb
Lambda-calculus and combinators, an introduction
Автор:
J. Roger Hindley
, Автор:
Jonathan P. Seldin
Размер книги: 1.50 Mb
Lambda-Calculus and Computer Science Theory
Автор:
C. Böhm
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.48 Mb
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, ... and Lambda Calculus
Автор:
Guerino Mazzola
, Автор:
Gérard Milmeister
, Автор:
Jody Weissmann
Размер книги: 3.44 Mb
Kamal Abdali
Автор:
A Lambda-Calculus Model of Programming Languages
, Автор:
I: Simple Constructs
, Автор:
J. Computer Languages
, Автор:
Vol. 1 (1976)
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 4.33 Mb