![cover of the book Constructive Algebra in Functional Programming and Type Theory [master thesis]](/covers/files_200/1446000/58dd05ee5e0b6440eaa424d500558d12-g.jpg)
Ebook: Constructive Algebra in Functional Programming and Type Theory [master thesis]
Author: Anders Mörtberg
- Year: 2010
- Publisher: University of Gothenburg
- Language: English
- pdf
Download the book Constructive Algebra in Functional Programming and Type Theory [master thesis] for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)