" J. Roger Hindley" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science)

Philippe de Groote, J. Roger Hindley

Категория: Компьютеры

21.14 Mb

#2

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Volume 42)

J. Roger Hindley

Категория: Компьютеры

1.62 Mb

#3

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley, Jonathan P. Seldin

Категория: Математика, Комбинаторика

2.06 Mb

#4

Lambda-calculus and combinators, an introduction

J. Roger Hindley, Jonathan P. Seldin

1.50 Mb

#5

Typed Lambda Calculi and Applications, 3 conf., TLCA '97

Philippe de Groote, J. Roger Hindley

Категория: Cs_Computer science, CsLn_Lecture notes

2.94 Mb