Programming: Combinatorial Logic
A

Programming: Combinatorial Logic

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Author
I. A. Kudryavtseva, M. V. Shvetsky
Publisher
Yurait
Year
2022
Language
Russian
174
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

S. V. Zykov

Compiler Construction. Foundations and Applications

Compiler Construction. Foundations and Applications

Hanspeter Mössenböck

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

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

Maxim Ivanov

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

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

Daniel Welleman

The Perfect Algorithm. Algorithms for NP-Hard Problems

The Perfect Algorithm. Algorithms for NP-Hard Problems

Tim Roughgarden

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

Jonathan Steinhart

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

Yoon Annalyn, Soo Kenneth

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

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

Robert Sedgewick, Kevin Wayne

Program correctness proof

Program correctness proof

C. Rustan M. Leino