Travelled to:1 × Austria
1 × Czech Republic
1 × United Kingdom
2 × France
3 × Poland
Collaborated with:∅ A.Abel C.Picard F.Joachimski J.E.Santo L.Pinto T.Uustalu M.Giorgino M.Strecker M.Pantel
Talks about:type (3) constructor (2) coinduct (2) calculus (2) monoton (2) general (2) strong (2) induct (2) point (2) order (2)
Person: Ralph Matthes
DBLP: Matthes:Ralph
Contributed to:
2011
2010
2007
2004
200320012001
20001998Wrote 9 papers:
- GCM-2010-PicardM11 #embedded #graph #induction #problem #representation
- Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).
- LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
- Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.
- TLCA-2007-SantoMP #calculus #continuation #normalisation
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.
- CSL-2004-AbelM #fixpoint #recursion
- Fixed Points of Type Constructors and Primitive Recursion (AA, RM), pp. 190–204.
- FoSSaCS-2003-AbelMU #data type #higher-order
- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
- CSL-2001-Matthes #induction #rank
- Monotone Inductive and Coinductive Constructors of Rank 2 (RM), pp. 600–614.
- TLCA-2001-Matthes #higher-order #induction #λ-calculus #μ-calculus
- Parigot’s Second Order λμ-Calculus and Inductive Types (RM), pp. 329–343.
- RTA-2000-JoachimskiM #confluence #standard #λ-calculus
- Standardization and Confluence for a λ Calculus with Generalized Applications (FJ, RM), pp. 141–155.
- CSL-1998-Matthes #fixpoint #normalisation
- Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.