Marina Lenisa

Identifiers

• name variant Marina Lenisa 0.60 · backfill

Papers (2)

1. Lambda-calculus and Reversible Automatic Combinators cs.LO · 2018 · author #3
2. RPO, Second-order Contexts, and Lambda-calculus cs.PL · 2009 · author #3

Mentions

• 0906.2727 #3 · backfill · confidence 0.70 Marina Lenisa

Frequent Coauthors

• Furio Honsell 2 shared papers
• Alberto Ciaffaglione 1 shared papers
• Ivan Scagnetto 1 shared papers
• Pietro Di Gianantonio 1 shared papers