You need to sign in or sign up before continuing.

Jan M. Smith

2 books

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 • 1990

nonfiction computer science mathematics informative medium-paced
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 by Giovanni Sambin, Jan M. Smith

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995

Giovanni Sambin, Jan M. Smith

296 pages • hardcover

nonfiction mathematics medium-paced