Francesco A. Genco

Identifiers

No identifiers captured yet.

Papers (4)

1. $\unicode{8523}$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs cs.LO · 2019 · author #2
2. Hypersequents and Systems of Rules: Embeddings and Applications math.LO · 2018 · author #2
3. M\=im\=a\d{m}s\=a deontic logic: proof theory and applications cs.LO · 2017 · author #3
4. G\"odel Logic: from Natural Deduction to Parallel Computation cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Agata Ciabattoni 3 shared papers
• Federico Aschieri 2 shared papers
• Bj\"orn Lellmann 1 shared papers
• Elisa Freschi 1 shared papers