Kent Petersson
Lecturer at the Department of Computing
Science at Chalmers University
and Göteborg University
Working 50% at Ericsson Microwave Systems, Mölndal and 50% at
Department of Computing Science.
-
Phone: +46 31 7470533
-
Email: Kent.Petersson@emw.ericsson.se
How to reach me (see also above)
-
Email: kentp@cs.chalmers.se
-
Phone: work +46 31 7721028, home +46 31 191443
-
Room: 2425, Matematiskt Centrum
-
Fax: +46 31 165655
-
Postal address: Dept of Computing Science, Chalmers, S-41296 Göteborg,
Sweden
-
Visiting address: Matematiskt centrum, Eklandagatan 86, Göteborg
Research Interests
-
Martin-Löf's type theory
-
Type systems in programming languages
Some books and papers
-
Kent Petersson: Beräkningsbarhet för
dataloger. Från lambda till P, Bokförlaget Aquila, 1988.
-
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
-
Kent Petersson, Jan M Smith: Program Derivation in Type
Theory: A Partitioning Problem ,
Computer Languages, vol. 11, No. 3/4, 1986, pp. 161 -- 172.
-
Annika Aasa, Kent Petersson, Dan Synek: Concrete Syntax
for Data Types in Functional Languages
Proc. of the 1988 ACM Conference on LISP and Functional Programming,
pages 96 -- 105, Snowbird, Utah, July 1988.
-
Kent Petersson, Dan Synek: A Set Constructor for Inductive
Sets in Martin-Löf's Type Theory
Proc. of the 1989 Conference of Category Theory and Computer Science,
Manchester, U.K., September 1989. LNCS vol 389, pages 128 - 141.
-
Bengt Nordström, Kent Petersson, Jan M Smith: Martin-Löf's Type
Theory
-
Kent Petersson: Syntax and Semantics of Programming Languages
(.ps, .pdf)
Lecture Notes,
1990
Teaching 1999/2000
Some Master's theses that I have been involved in
PGP public key
This document was last modified 2002-01-07 klockan 23:33
Kent Petersson (
kentp@cs.chalmers.se).