You need to sign in or sign up before continuing.

Kent Petersson

1 book

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

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

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

232 pages • first pub 1990 (editions)

nonfiction computer science mathematics informative medium-paced