Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

Оценок пока нет
1995 · Английский · Твердый переплет
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг

Детали книги

Формат Твердый переплет
Страницы 235 страниц
Язык Английский
Опубликовано Jan 1, 1995
Издатель Birkhäuser
ISBN-10 376433763X
ISBN-13 9783764337636
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг