Ralph Matthes

Identifiers

• name variant Ralph Matthes 0.60 · backfill

Papers (4)

1. From signatures to monads in UniMath cs.LO · 2016 · author #2
2. Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search cs.LO · 2016 · author #2
3. Confluence for classical logic through the distinction between values and computations cs.LO · 2014 · author #2
4. Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi cs.LO · 2009 · author #2

Mentions

• 1409.3316 #2 · backfill · confidence 0.70 Ralph Matthes
• 0903.1822 #2 · backfill · confidence 0.70 Ralph Matthes

Frequent Coauthors

• Jos\'e Esp\'irito Santo 2 shared papers
• Lu\'is Pinto 2 shared papers
• Anders M\"ortberg 1 shared papers
• Benedikt Ahrens 1 shared papers
• Jose Espirito Santo 1 shared papers
• Koji Nakazawa 1 shared papers
• Luis Pinto 1 shared papers