Julian Nagele

Identifiers

• name variant Julian Nagele 0.60 · backfill

Papers (4)

1. Confluence by Critical Pair Analysis Revisited (Extended Version) cs.LO · 2019 · author #2
2. Critical Peaks Redefined - $\Phi \sqcup \Psi = \top$ cs.LO · 2017 · author #2
3. A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the $\lambda\beta$-calculus in Nominal Isabelle cs.LO · 2016 · author #1
4. Certification of Confluence Proofs using CeTA cs.LO · 2015 · author #1

Mentions

• 1505.01337 #1 · backfill · confidence 0.70 Julian Nagele

Frequent Coauthors

• Vincent van Oostrom 3 shared papers
• Michio Oyamaguchi 2 shared papers
• Nao Hirokawa 2 shared papers
• Christian Sternagel 1 shared papers
• Ren\'e Thiemann 1 shared papers