Petersson, Kent
VIAF ID: 1564966 ( Personal )
Permalink: http://viaf.org/viaf/1564966
Preferred Forms
- 100 1 _ ‡a Petersson, Kent
- 100 1 0 ‡a Petersson, Kent
-
-
-
Works
Title | Sources |
---|---|
Programming in Martin-Löf's type theory, 1990: |