Main Constructive Algebra in Functional Programming and Type Theory [master thesis]
Constructive Algebra in Functional Programming and Type Theory [master thesis] cover

Constructive Algebra in Functional Programming and Type Theory [master thesis]

4.0 / 5.0
0 comments
Downloaded from http://web.student.chalmers.se/~mortberg/master/MSc-Thesis.pdf version 22 Aug 2010
Request Code : ZLIBIO1446868
Categories:
Year:
2010
Publisher:
University of Gothenburg
Language:
English
Pages:
54

Comments of this book

There are no comments yet.