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
Philip Wadler
Philip Wadler authored the following 1 source, containing a total of 0 diagrams.
Sannella, Donald, Michael Fourman, Haoran Peng, and Philip Wadler. 2021. Introduction to Computation. Haskell, Logic and Automata. Cham: Springer. (0 diagrams)