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

ebook img
Author:Anders Mörtberg
Language:English
Release year:2010
File size:0.584 MB
Number of page:54

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

We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.