BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Matthes:Ralph

Contributed to:

GCM 20102011
LOPSTR 20102010
TLCA 20072007
CSL 20042004
FoSSaCS 20032003
CSL 20012001
TLCA 20012001
RTA 20002000
CSL 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.