Foundations of Software Science and Computation Structures: 19th International C
70,35 €
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:
