Verified Functional Programming in Agda Front Cover

Verified Functional Programming in Agda

(0 Reviews)
| 2016-02-01 | 284 pages | 1970001240