Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler.

Introduction to Computation : Haskell, Logic and Automata - Cham Springer 2021

9783030769086


Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms.