Foundations of Software Science and Computation Structures: 19th International C
69,14 €
Foundations of Software Science and Computation Structures. - Guarded Dependent Type Theory withCoinductive Types. - Dependent Types and Fibred Computational Effects. - Recursion and Fixed-Points Join InverseCategories as Models of Reversible Recursion.
Jetzt bei Ebay:
