Published and unpublished work by Ralph Matthes

Thesis

The title of my doctoral dissertation is "Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types". Available as PDF file (just the introduction and summary), Postscript file, and DVI file and Postscript file with 2 pages per sheet. (197 pages, June 1999, minor revision of the submission of May 1998. There are also Errata.) Review in ZBL. My advisor has been Prof. Dr. Helmut Schwichtenberg.

Preprints of Published Work

Unpublished and Submitted Work

See a list of my publications.

Ask DBLP and Citeseer.

My coauthors:


Ralph Matthes
Last modified: Tue Aug 16 17:23:45 CEST 2005
http://www.tcs.informatik.uni-muenchen.de/~matthes/works.html