• Books
  • Tag: lambda calculus

Books — lambda calculus

EN
The Scheme Programming Language, 4th Edition

The Scheme Programming Language, 4th Edition

A

R. Kent Dybvig

Software Development
EN
Types and Programming Languages

Types and Programming Languages

A

Benjamin C. Pierce

Other
EN
Haskell Programming from First Principles

Haskell Programming from First Principles

A

Christopher Allen, Julie Moronuki

Programming languages
RU
Programming: Combinatorial Logic

Programming: Combinatorial Logic

A

И. А. Кудрявцева, М. В. Швецкий

Programming languages
RU
Programming: Textbook and Workshop for Universities

Programming: Textbook and Workshop for Universities

A

С. В. Зыков

Programming languages