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

For proper citations, BibTeX entries and abstracts of papers that appeared since 2006, consult the IRIT database.

Unpublished and Submitted Work

Ask DBLP (does not show FotFS I, Logic Colloquium 2003, MSFP 06, MSCS, TYPES 2011) and Citeseer.

For my publications considered to fall also within mathematics, ask MathSciNet (needs a subscription). The citation counts shown there are those from other papers considered to fall within mathematics.

My coauthors:


Ralph Matthes
Last modified (date in French): ven. juil. 25 17:13:42 CEST 2014
http://www.irit.fr/~Ralph.Matthes/works.html