Francesco A. Genco
Orcid: 0000-0001-7415-5839Affiliations:
- TU Wien, Vienna, Autria
According to our database1,
Francesco A. Genco
authored at least 22 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on logic.at
On csauthors.net:
Bibliography
2024
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation.
CoRR, 2024
CoRR, 2024
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