Martin-Löf's Type Theory
Book chapter, 2000
Author
Bengt Nordström
Programming Logic
Kent Petersson
Programming Logic
Jan Smith
Programming Logic
Handbook of Logic in Computer Science
Vol. 5
Subject Categories
Computer Science