Programming in Martin-Löf's Type Theory
Programming in Martin-Löf's Type Theory PDF book is popular Computers book written by Bengt Nordström. The book was released by Oxford University Press, USA on 1990 with total hardcover pages 240. Fast download link is given in this page, you could read Programming in Martin-Löf's Type Theory by Bengt Nordström in PDF, epub and kindle directly from your devices.
Programming in Martin-Löf's Type Theory
-
Programming in Martin-Löf's Type Theory Book Detail
- Author : Bengt Nordström
- Release Date : 1990
- Publisher : Oxford University Press, USA
- Genre : Computers
- Pages : 240
- ISBN 13 :
- File Size : 61,61 MB