Francesco A. Genco
Orcid: 0000-0001-7415-5839Affiliations:
- TU Wien, Vienna, Autria
According to our database1,
Francesco A. Genco
authored at least 19 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on logic.at
On csauthors.net:
Bibliography
2023
2021
Proceedings of the Connecting with Computability, 2021
2020
Theor. Comput. Sci., 2020
Par means parallel: multiplicative linear logic proofs as concurrent functional programs.
Proc. ACM Program. Lang., 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
2019
⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs.
CoRR, 2019
2018
ACM Trans. Comput. Log., 2018
Substructural logics: <i>semantics, proof theory, and applications.</i> report on the second SYSMICS workshop.
ACM SIGLOG News, 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation.
CoRR, 2016
Proceedings of the Advances in Modal Logic 11, 2016
2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015