Se Mantique Programme

3 books
Logic ProgrammingPhilippe Codognet
⏱ 6h 5m

Logic Programming

Philippe Codognet

2001365 pp.
Categories, types, and structuresAndrea Asperti
⏱ 5h 6m

Categories, types, and structures

Andrea Asperti

1991306 pp.
Domain-theoretic Foundations of Functional ProgrammingThomas Streicher
⏱ 2h 12m

Domain-theoretic Foundations of Functional Programming

Thomas Streicher

2006132 pp.