Cosimo Perini Brogi. From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading. In Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta, editors, Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025. Volume 4142 of CEUR Workshop Proceedings, pages 143-152, CEUR-WS.org, 2025. [doi]
@inproceedings{Brogi25,
title = {From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading},
author = {Cosimo Perini Brogi},
year = {2025},
url = {https://ceur-ws.org/Vol-4142/paper16.pdf},
researchr = {https://researchr.org/publication/Brogi25},
cites = {0},
citedby = {0},
pages = {143-152},
booktitle = {Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025},
editor = {Angelo Montanari and Andrea Orlandini and Nicola Saccomanno and Stefano Tonetta},
volume = {4142},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}