Browse editions

Current edition
Programming In Martin Löf's Type Theory: An Introduction by Kent Petersson, Jan M. Smith, Bengt Nordström

Programming In Martin Löf's Type Theory: An Introduction

Kent Petersson, Jan M. Smith, Bengt Nordström

232 pages • 1990

nonfiction computer science mathematics informative medium-paced
Other editions (0)