Francesco Antonio Genco

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Database Query Languages

Lambda Calculus

Top Venues

Publications

Greta Coraglia, Fabio Aurelio D'Asaro, Francesco Antonio Genco, Davide Giannuzzi, Davide Posillipo, Giuseppe Primiero, Christian Quaggio
BRIOxAlkemy: a Bias Detecting Tool. BEWARE@AI*IA (2023)
Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco
A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR (2020)