Introduction to Computation : Haskell, Logic and Automata
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.
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.