Volume: Vol-4142 OVERLAY 2025 | Year: 2025

Paper: « paper15 | paper16 | paper17 »

From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading

• Cosimo Perini Brogi

143-152 PDF