Published and unpublished work by Ralph Matthes

Thesis

Preprints of Published Work

• (CSL 98) A manuscript on "Monotone Fixed-Point Types And Strong Normalization" (15 pages, August 1998; original submission 12 pages, April 1998, © Springer Verlag)
• (Archive for Mathematical Logic 42 (2003) 1, 59-87) A manuscript on "Short Proofs of Normalization" (latest version 23 pages, April 2002). Math. Reviews 1953114. Erratum to all versions since 1999 (2 pages, November 2004)
• (FICS 98, RAIRO - Theoretical Informatics and Applications 33, pp. 309-328, 1999) A manuscript on "Monotone (co)inductive types and positive fixed-point types" (20 pages, June 1999; original submission 20 pages, November 1998)
• (FotFS I, Synthese 133(1), pp. 107-129, October 2002) A manuscript on "Tarski's fixed-point theorem and higher-order term rewrite systems" (25 pages, December 1999; older version 21 pages, August 1999). Math. Reviews 1950046
• (ITRS 00) A manuscript on "Characterizing Strongly Normalizing Terms for a Lambda Calculus with Generalized Applications via Intersection Types" (15 pages, April 2000; original submission 15 pages, March 2000)
• (RTA 00) A manuscript on "Standardization and Confluence for a Lambda Calculus with Generalized Applications" (15 pages, March 2000, © Springer Verlag)
• (TLCA 01) A manuscript on "Parigot's Second Order Lambda-Mu-Calculus and Inductive Types" (15 pages, February 2001; original submission 15 pages, October 2000; © Springer Verlag)
• (CSL 01) A manuscript on "Monotone Inductive and Coinductive Constructors of Rank 2" (15 pages, June 2001; original submission 16 pages, March 2001; © Springer Verlag)
• (PTCS, appeared 2001) A manuscript on "Interpolation for natural deduction with generalized eliminations" (17 pages, July 2001; © Springer Verlag). Math. Reviews 1904416 (2003h:03023)
• (FOSSACS 2003) A manuscript on "Generalized Iteration and Coiteration for Higher-Order Nested Datatypes" (15 pages, January 2003; © Springer Verlag)
• (TYPES 2002) A manuscript on "(Co-)Iteration for Higher-Order Nested Datatypes" (20 pages, February 2003; © Springer Verlag)
• (CMCS 03, ENTCS Vol.82.1) A manuscript on "Substitution in Non-wellfounded Syntax with Variable Binding" (15 pages, February 2003). A preliminary version (24 pages, April 2004) of the full paper in TCS 327 (1-2) pp. 155-174, 2004
• (APAL 133, pp. 205-230, 2005) A manuscript on "Non-Strictly Positive Fixed-Points for Classical Natural Deduction" (33 pages, September 2003, Erratum: there is no distinction between admissible and derived rules; original submission 31 pages, July 2003, errata for the older version)
• (accepted for the Proceedings of Logic Colloquium 2003) A manuscript on "Stabilization - An Alternative to Double-Negation Translation for Classical Natural Deduction" (25 pages, January 2004, this is only the original submission, as PDF ;later changes)
• (CSL 04) A manuscript on "Fixed Points of Type Constructors and Primitive Recursion" (15 pages, June 2004; as PDF; Erratum, October 2004; original submission 16 pages, April 2004; © Springer Verlag)
• (TCS 333(1-2), pp. 3-66, 2005) A manuscript on "Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes (79 pages, March 2004; Erratum, August 2005; original submission 58 pages, August 2003)

Unpublished and Submitted Work

• (unpublished) Lecture notes on "Lambda Calculus: A Case for Inductive Definitions" for ESSLLI 2000 (65 pages, July 2000; Version in original size), Errata, Part II: Monotone Inductive Types (20 pages, August 2000)

See a list of my publications.

Ask DBLP and Citeseer.

My coauthors:

• Andreas Abel: TYPES 2002, FOSSACS 2003, CSL 2004, TCS
• Felix Joachimski: RTA 2000, Archive for Mathematical Logic 2003
• Tarmo Uustalu: FOSSACS 2003, CMCS 2003, 2x TCS