Constructive Algebra in Functional Programming and Type Theory [master thesis]
- Author
- Anders Mörtberg
- Publisher
- University of Gothenburg
- Language
- English
- Year
- 2010
- Page
- 54
- File Type
- pdf
- File Size
- 597.8 KiB
How to Download?!!!
Just click on START button on Telegram Bot