2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
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
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
