Ralph Matthes

	2011
27		Celia Picard, Ralph Matthes: Coinductive Graph Representation: the Problem of Embedded Lists. ECEASST 39: (2011)
26		Ralph Matthes: Map fusion for nested datatypes in intensional type theory. Sci. Comput. Program. 76(3): 204-224 (2011)
	2010
25		Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel: Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83
	2009
24		Ralph Matthes: An induction principle for nested datatypes in intensional type theory. J. Funct. Program. 19(3-4): 439-468 (2009)
23		José Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi Logical Methods in Computer Science 5(2): (2009)
	2008
22		Ralph Matthes: Recursion on Nested Datatypes in Dependent Type Theory. CiE 2008: 431-446
21		Ralph 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
20		José Espírito Santo, Ralph Matthes, Luis Pinto: Monadic Translation of Intuitionistic Sequent Calculus. TYPES 2008: 100-116
19		Ralph 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)
	2007
18		José Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. TLCA 2007: 133-147
17		Ralph Matthes, Martin Strecker: Verification of the Redecoration Algorithm for Triangular Matrices. TYPES 2007: 125-141
	2006
16		Ralph Matthes: A Datastructure for Iterated Powers. MPC 2006: 299-315
	2005
15		Ralph Matthes: Non-strictly positive fixed points for classical natural deduction. Ann. Pure Appl. Logic 133(1-3): 205-230 (2005)
14		Andreas Abel, Ralph Matthes, Tarmo Uustalu: Iteration and coiteration schemes for higher-order and nested datatypes. Theor. Comput. Sci. 333(1-2): 3-66 (2005)
	2004
13		Andreas Abel, Ralph Matthes: Fixed Points of Type Constructors and Primitive Recursion. CSL 2004: 190-204
12		Ralph Matthes, Tarmo Uustalu: Substitution in non-wellfounded syntax with variable binding. Theor. Comput. Sci. 327(1-2): 155-174 (2004)
	2003
11		Andreas Abel, Ralph Matthes, Tarmo Uustalu: Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. FoSSaCS 2003: 54-69
10		Felix 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)
9		Ralph Matthes, Tarmo Uustalu: Substitution in Non-wellfounded Syntax with Variable Binding. Electr. Notes Theor. Comput. Sci. 82(1): 191-205 (2003)
	2002
8		Andreas Abel, Ralph Matthes: (Co-)Iteration for Higher-Order Nested Datatypes. TYPES 2002: 1-20
	2001
7		Ralph Matthes: Monotone Inductive and Coinductive Constructors of Rank 2. CSL 2001: 600-614
6		Ralph Matthes: Interpolation for Natural Deduction with Generalized Eliminations. Proof Theory in Computer Science 2001: 153-169
5		Ralph Matthes: Parigot's Second Order lambda-mu-Calculus and Inductive Types. TLCA 2001: 329-343
	2000
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
	1999
2		Ralph Matthes: Monotone (co)inductive types and positive fixed-point types. ITA 33(4/5): 309-328 (1999)
	1998
1		Ralph Matthes: Monotone Fixed-Point Types and Strong Normalization. CSL 1998: 298-312

Coauthor Index

1	Andreas Abel	[8] [11] [13] [14]
2	Mathieu Giorgino	[25]
3	Felix Joachimski	[3] [10]
4	Marc Pantel	[25]
5	Celia Picard	[27]
6	Luis Pinto	[18] [20] [23]
7	José Espírito Santo	[18] [20] [23]
8	Sergei Soloviev	[19]
9	Martin Strecker	[17] [25]
10	Tarmo Uustalu	[9] [11] [12] [14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page