Per Martin-Lof

Per Martin-Lof

1 books in the database

Books

Intuitionistic Type TheoryPer Martin-Lof

Intuitionistic Type Theory

Per Martin-Lof · 1985

Co-authored books and collections

Books that list Per Martin-Lof among their authors but not as the lead author: co-written works, collections and compilations.

COLOG-88International Conference on Computer Logic (1988 Tallinn, Estonia)

International Conference on Computer Logic (1988 Tallinn, Estonia) · 1990