Verified Functional Programming in Agda Ebook (kudebook.shop)

$25.00

Aaron Stump

Category: Tag: