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

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

#1

Calculus and Analysis: A Combined Approach

Категория: M_Mathematics, MC_Calculus, MCet_Elementary calculus textbooks

5.97 Mb

#2

Trigonometric series : volumes I & II combined

Категория: M_Mathematics, MC_Calculus, MCat_Advanced calculus

18.91 Mb

#3

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley, Jonathan P. Seldin

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

2.06 Mb

#4

Calculus: A New Horizon, Combined, 6th Edition

Howard Anton

201.74 Mb

#5

Calculus Early Transcendentals Combined

Howard Anton, Irl C. Bivens, Stephen Davis

20.11 Mb

#6

A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)

Категория: paper, programming language semantics, lambda calculus, combinator calculus

4.61 Mb

#7

A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973

Категория: paper, programming language semantics, lambda calculus, combinator calculus

2.04 Mb

#8

Lambda-calculus and combinators, an introduction

J. Roger Hindley, Jonathan P. Seldin

1.50 Mb

#9

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