You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

Introduction to Computation. Haskell, Logic and Automata (2021)

Authors: Sannella, Donald; Fourman, Michael; Peng, Haoran; Wadler, Philip
Publisher: Springer
Place of publication: Cham
Language: English
ISBN: 978-3-030-76907-9
DOI: doi:10.1007/978-3-030-76908-6

↑ Back to top ↑