Programming in Martin-Löf's Type Theory
Book, 1990

Author

Bengt Nordström

Programming Logic

Kent Petersson

Department of Computer Sciences

Jan Smith

Programming Logic

Subject Categories

Computer Science

More information

Created

10/6/2017