Introduction to Computation : Haskell, Logic and Automata

Full text!
Format:
e-book
Title:
Introduction to Computation : Haskell, Logic and Automata
Author:
Sannella, Donald.; Fourman, Michael; Peng, Haoran; Wadler, Philip
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-030-76907-0
3-030-76908-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:20937256800041?locale=en