Ralph Matthes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

22EEJosé Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi CoRR abs/0903.1822: (2009)
21EERalph Matthes: Recursion on Nested Datatypes in Dependent Type Theory. CiE 2008: 431-446
20EERalph Matthes: Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. MPC 2008: 220-242
19EERalph Matthes, Sergei Soloviev: Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Mathematical Structures in Computer Science 18(4): 645-646 (2008)
18EEJosé Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. TLCA 2007: 133-147
17EERalph Matthes, Martin Strecker: Verification of the Redecoration Algorithm for Triangular Matrices. TYPES 2007: 125-141
16EERalph Matthes: A Datastructure for Iterated Powers. MPC 2006: 299-315
15EERalph Matthes: Non-strictly positive fixed points for classical natural deduction. Ann. Pure Appl. Logic 133(1-3): 205-230 (2005)
14EEAndreas Abel, Ralph Matthes, Tarmo Uustalu: Iteration and coiteration schemes for higher-order and nested datatypes. Theor. Comput. Sci. 333(1-2): 3-66 (2005)
13EEAndreas Abel, Ralph Matthes: Fixed Points of Type Constructors and Primitive Recursion. CSL 2004: 190-204
12EERalph Matthes, Tarmo Uustalu: Substitution in non-wellfounded syntax with variable binding. Theor. Comput. Sci. 327(1-2): 155-174 (2004)
11EEAndreas Abel, Ralph Matthes, Tarmo Uustalu: Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. FoSSaCS 2003: 54-69
10EEFelix Joachimski, Ralph Matthes: Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. Arch. Math. Log. 42(1): 59-87 (2003)
9EERalph Matthes, Tarmo Uustalu: Substitution in Non-wellfounded Syntax with Variable Binding. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
8EEAndreas Abel, Ralph Matthes: (Co-)Iteration for Higher-Order Nested Datatypes. TYPES 2002: 1-20
7EERalph Matthes: Monotone Inductive and Coinductive Constructors of Rank 2. CSL 2001: 600-614
6EERalph Matthes: Interpolation for Natural Deduction with Generalized Eliminations. Proof Theory in Computer Science 2001: 153-169
5EERalph Matthes: Parigot's Second Order lambda-mu-Calculus and Inductive Types. TLCA 2001: 329-343
4 Ralph Matthes: Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types. ICALP Satellite Workshops 2000: 339-354
3 Felix Joachimski, Ralph Matthes: Standardization and Confluence for a Lambda Calculus with Generalized Applications. RTA 2000: 141-155
2 Ralph Matthes: Monotone (co)inductive types and positive fixed-point types. ITA 33(4/5): 309-328 (1999)
1 Ralph Matthes: Monotone Fixed-Point Types and Strong Normalization. CSL 1998: 298-312

Coauthor Index

1Andreas Abel [8] [11] [13] [14]
2Felix Joachimski [3] [10]
3Luis Pinto [18] [22]
4José Espírito Santo [18] [22]
5Sergei Soloviev [19]
6Martin Strecker [17]
7Tarmo Uustalu [9] [11] [12] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)