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 • first pub 1990 (view editions)

nonfiction computer science mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specification...

Read more

Community Reviews

Loading...

Content Warnings

Loading...