Ivan Scagnetto

Identifiers

No identifiers captured yet.

Papers (4)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Furio Honsell 3 shared papers
• Luigi Liquori 2 shared papers
• Alberto Ciaffaglione 1 shared papers
• Claude Stolze 1 shared papers
• Fabio Crestani 1 shared papers
• Marina Lenisa 1 shared papers
• Petar Maksimovic 1 shared papers
• Stefano Mizzaro 1 shared papers