Programming: Combinatorial Logic
A

Programming: Combinatorial Logic

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Author
И. А. Кудрявцева, М. В. Швецкий
Publisher
Юрайт
Year
2022
Language
Russian
26
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Programming: Textbook and Workshop for Universities

Programming: Textbook and Workshop for Universities

С. В. Зыков

Compiler Construction. Foundations and Applications

Compiler Construction. Foundations and Applications

Ханспетер Мёссенбёк

Algorithmic Training. Practical Problem Solutions in Python and C++

Algorithmic Training. Practical Problem Solutions in Python and C++

Максим Иванов

The Art of Proof in Mathematics. A Lecture Course with Exercises

The Art of Proof in Mathematics. A Lecture Course with Exercises

Дэниэл Веллеман

The Perfect Algorithm. Algorithms for NP-Hard Problems

The Perfect Algorithm. Algorithms for NP-Hard Problems

Тим Рафгарден

The Secret Life of Programs: How to Write Code Your Computer Will Love

The Secret Life of Programs: How to Write Code Your Computer Will Love

Джонатан Стейнхарт

Theoretical Minimum on Big Data. Everything You Need to Know About Big Data

Theoretical Minimum on Big Data. Everything You Need to Know About Big Data

Ын Анналин, Су Кеннет

Computer Science: Java programming fundamentals, OOP, algorithms and data structures

Computer Science: Java programming fundamentals, OOP, algorithms and data structures

Роберт Седжвик, Кевин Уэйн

Program correctness proof

Program correctness proof

К. Рустан М. Лейно