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