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

More information

Created

10/6/2017