Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C - Logic programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C Add to Reading List Document Date: 2010-08-22 03:55:59 Open Document File Size: 597,84 KB Share Result on Facebook {"fault" {"faultstring" /

Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45CAdd to Reading List