Luigi Liquori

Identifiers

No identifiers captured yet.

Papers (3)

1. The Delta-framework cs.LO · 2018 · author #2
2. The Delta-calculus: syntax and types cs.LO · 2018 · author #1
3. $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Claude Stolze 2 shared papers
• Furio Honsell 2 shared papers
• Ivan Scagnetto 2 shared papers
• Petar Maksimovic 1 shared papers