Opening book details…
About this document
Constructive Algebra in Functional Programming and Type Theory by anil ari is a document available to read on EtoBox.
- Author
- anil ari
- Language
- EN
Opening book details…
Constructive Algebra in Functional Programming and Type Theory by anil ari is a document available to read on EtoBox.