Furio Honsell

Identifiers

• name variant Furio Honsell 0.60 · backfill

Papers (4)

1. The Delta-framework cs.LO · 2018 · author #1
2. Lambda-calculus and Reversible Automatic Combinators cs.LO · 2018 · author #2
3. $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads cs.LO · 2017 · author #1
4. RPO, Second-order Contexts, and Lambda-calculus cs.PL · 2009 · author #2

Mentions

• 0906.2727 #2 · backfill · confidence 0.70 Furio Honsell

Frequent Coauthors

• Ivan Scagnetto 3 shared papers
• Luigi Liquori 2 shared papers
• Marina Lenisa 2 shared papers
• Alberto Ciaffaglione 1 shared papers
• Claude Stolze 1 shared papers
• Petar Maksimovic 1 shared papers
• Pietro Di Gianantonio 1 shared papers