Francesco A. Genco

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 20

Top Topics

Functional Programs

Natural Deduction

Top Venues

Proc. ACM Program. Lang.

ACM SIGLOG News

Publications

Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi, Enrico Bagli, Pietro Giuffrida, Davide Posillipo, Giuseppe Primiero
Evaluating AI fairness in credit scoring with the BRIO tool. CoRR (2024)
Francesco A. Genco
A Logic of Knowledge and Justifications, with an Application to Computational Trust. CoRR (2024)
Francesco A. Genco
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation. CoRR (2024)
Francesco A. Genco, Giuseppe Primiero
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs. CoRR (2023)
Francesco A. Genco, Francesca Poggiolesi
Defining Formal Explanation in Classical Logic by Substructural Derivability. CiE (2021)
Francesco A. Genco, Francesca Poggiolesi, Lorenzo Rossi
Grounding, Quantifiers, and Paradoxes. J. Philos. Log. 50 (6) (2021)
Francesco A. Genco
Formal explanations as logical derivations. J. Appl. Non Class. Logics 31 (3-4) (2021)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
On the concurrent computational content of intermediate logics. Theor. Comput. Sci. 813 (2020)
Federico Aschieri, Francesco A. Genco
Par means parallel: multiplicative linear logic proofs as concurrent functional programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Federico Aschieri, Francesco A. Genco
⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs. CoRR (2019)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
A typed parallel $λ$-calculus for graph-based communication. CoRR (2019)
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake
report on the second SYSMICS workshop. ACM SIGLOG News 5 (2) (2018)
Agata Ciabattoni, Francesco A. Genco
Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. 19 (2) (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Classical Proofs as Parallel Programs. GandALF (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Gödel logic: From natural deduction to parallel computation. LICS (2017)
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Mīmā\d{m}sā deontic logic: proof theory and applications. CoRR (2017)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR (2016)
Agata Ciabattoni, Francesco A. Genco
Embedding formalisms: hypersequents and two-level systems of rule. Advances in Modal Logic (2016)
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Mīmāṃsā Deontic Logic: Proof Theory and Applications. TABLEAUX (2015)