Jan Rochel

Identifiers

• name variant Jan Rochel 0.60 · backfill

Papers (5)

1. Unfolding Semantics of the Untyped {\lambda}-Calculus with letrec cs.PL · 2016 · author #1
2. Maximal Sharing in the Lambda Calculus with letrec cs.PL · 2014 · author #2
3. Term Graph Representations for Cyclic Lambda-Terms cs.LO · 2013 · author #2
4. Expressibility in the Lambda Calculus with mu cs.PL · 2013 · author #2
5. Expressibility in the Lambda Calculus with Letrec cs.PL · 2012 · author #2

Mentions

• 1401.1460 #2 · backfill · confidence 0.70 Jan Rochel
• 1308.1034 #2 · backfill · confidence 0.70 Jan Rochel
• 1304.6284 #2 · backfill · confidence 0.70 Jan Rochel
• 1208.2383 #2 · backfill · confidence 0.70 Jan Rochel

Frequent Coauthors

• Clemens Grabmayer 4 shared papers