TY  - BOOK
AU  - Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler.
TI  - Introduction to Computation : Haskell, Logic and Automata
SN  - 9783030769086
PY  - 2021///
CY  - Cham
PB  - Springer
KW  - Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms
UR  - https://doi.org/10.1007/978-3-030-76908-6
ER  -