Ralph Matthes
Orcid: 0000-0002-7299-2411Affiliations:
- IRIT, Toulouse, France
- Ludwig Maximilian University of Munich, Germany
According to our database1,
Ralph Matthes
authored at least 53 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
2
1
1
3
1
2
1
2
2
1
2
1
1
1
1
2
2
1
1
1
1
1
2
1
1
1
3
1
2
1
2
1
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on irit.fr
-
on andrej.com
On csauthors.net:
Bibliography
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2023
2022
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2021
Ann. Pure Appl. Log., 2021
2020
Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic.
CoRR, 2020
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic.
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020
2019
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search.
Math. Struct. Comput. Sci., 2019
Fundam. Informaticae, 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
2018
Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018
2017
2015
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015
2014
Confluence for classical logic through the distinction between values and computations.
Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014
2013
Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013
Proceedings of the 9th International Conference on ICT in Education, 2013
2012
Math. Struct. Comput. Sci., 2012
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012
2011
Sci. Comput. Program., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011
2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
2009
J. Funct. Program., 2009
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Log. Methods Comput. Sci., 2009
2008
Preface to the special issue: isomorphisms of types and invertibility of lambda terms.
Math. Struct. Comput. Sci., 2008
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
Proceedings of the Logic and Theory of Algorithms, 2008
2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
2006
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Ann. Pure Appl. Log., 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
2003
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.
Arch. Math. Log., 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Synth., 2002
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
2000
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types.
Proceedings of the ICALP Workshops 2000, 2000
1999
Extensions of system F by iteration and primitive recursion on monotone inductive types.
PhD thesis, 1999
RAIRO Theor. Informatics Appl., 1999
1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998