Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
Subjects
›
Se Mantique Programme
Se Mantique Programme
3 books
Logic Programming
Philippe Codognet
⏱ 6h 5m
Logic Programming
Philippe Codognet
2001
365 pp.
Categories, types, and structures
Andrea Asperti
⏱ 5h 6m
Categories, types, and structures
Andrea Asperti
1991
306 pp.
Domain-theoretic Foundations of Functional Programming
Thomas Streicher
⏱ 2h 12m
Domain-theoretic Foundations of Functional Programming
Thomas Streicher
2006
132 pp.