THELIB
Category Rules Rules Log in
  • Books
  • Tag: lambda calculus

Books — lambda calculus

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
THELIB

IT book library with translation into 8 languages.

Catalog

  • Books
  • Categories
  • Rules
  • Agreement

Account

  • Register
  • Log in
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 languages · AI translation on the fly