Search results for "Ralph Matthes"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Celia Picard, Ralph Matthes	Coinductive Graph Representation: the Problem of Embedded Lists.	ECEASST	2011	DBLP BibTeX RDF
1	Ralph Matthes	Map fusion for nested datatypes in intensional type theory.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel	Verification of the Schorr-Waite Algorithm - From Trees to Graphs.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	José Espírito Santo, Ralph Matthes, Luis Pinto	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi	Logical Methods in Computer Science	2009	DBLP BibTeX RDF
1	Ralph Matthes	An induction principle for nested datatypes in intensional type theory.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
1	Ralph Matthes, Sergei Soloviev	Preface to the special issue: isomorphisms of types and invertibility of lambda terms.	Mathematical Structures in Computer Science	2008	DBLP DOI BibTeX RDF
1	José Espírito Santo, Ralph Matthes, Luis Pinto	Monadic Translation of Intuitionistic Sequent Calculus.	TYPES	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Ralph Matthes	Recursion on Nested Datatypes in Dependent Type Theory.	CiE	2008	DBLP DOI BibTeX RDF
1	José Espírito Santo, Ralph Matthes, Luis Pinto	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
1	Ralph Matthes, Martin Strecker	Verification of the Redecoration Algorithm for Triangular Matrices.	TYPES	2007	DBLP DOI BibTeX RDF
1	Ralph Matthes	A Datastructure for Iterated Powers.	MPC	2006	DBLP DOI BibTeX RDF
1	Andreas Abel, Ralph Matthes, Tarmo Uustalu	Iteration and coiteration schemes for higher-order and nested datatypes.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Ralph Matthes	Non-strictly positive fixed points for classical natural deduction.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Ralph Matthes, Tarmo Uustalu	Substitution in non-wellfounded syntax with variable binding.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Andreas Abel, Ralph Matthes	Fixed Points of Type Constructors and Primitive Recursion.	CSL	2004	DBLP DOI BibTeX RDF
1	Ralph Matthes, Tarmo Uustalu	Substitution in Non-wellfounded Syntax with Variable Binding.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Felix Joachimski, Ralph Matthes	Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
1	Andreas Abel, Ralph Matthes, Tarmo Uustalu	Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Andreas Abel, Ralph Matthes	(Co-)Iteration for Higher-Order Nested Datatypes.	TYPES	2002	DBLP DOI BibTeX RDF
1	Ralph Matthes	Parigot's Second Order lambda-mu-Calculus and Inductive Types.	TLCA	2001	DBLP DOI BibTeX RDF
1	Ralph Matthes	Interpolation for Natural Deduction with Generalized Eliminations.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
1	Ralph Matthes	Monotone Inductive and Coinductive Constructors of Rank 2.	CSL	2001	DBLP DOI BibTeX RDF
1	Ralph Matthes	Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
1	Felix Joachimski, Ralph Matthes	Standardization and Confluence for a Lambda Calculus with Generalized Applications.	RTA	2000	DBLP DOI BibTeX RDF
1	Ralph Matthes	Monotone (co)inductive types and positive fixed-point types.	ITA	1999	DBLP DOI BibTeX RDF
1	Ralph Matthes	Monotone Fixed-Point Types and Strong Normalization.	CSL	1998	DBLP DOI BibTeX RDF

Publications of "Ralph Matthes" ( http://dblp.L3S.de/Authors/Ralph_Matthes )