Kent Petersson's Home Page

Photo: Kent Petersson


Address:

de Geersgatan 2
SE-41657 Göteborg
Sweden

Email:

Telephone:

Home:

+46 (31) 19 14 43
+46 (70) 949 14 51 (mobile)

Work:

+46 (31) 794 9462
+46 (73) 437 9462 (mobile)

Research Interests:

  • (Software Systems) Architecture,

  • Programming Logics

  • Programming Languages 

  • Parsing Techniques

Some Books and Papers:


  • Bengt Nordström, Kent Petersson, Jan M Smith:
    Programming in Martin-Löf's type theory. An introduction,
    Oxford University Press, 1990.
    (The book is now out of print but a postscript (and a pdf) version is available on the web
    )

The book is also available in Chinese.





  • Bengt Nordström, Kent Petersson, Jan M Smith: Martin-Löf's Type Theory
    Handbook in Computer Science




This page was edited 2007-04-06.