Vol-4141⫷ Vol-4142 ⫸Vol-4143
urn:nbn:de:0074-4142-0


Vol-4142/paper15⫷Vol-4142/paper16⫸Vol-4142/paper17
Cosimo Perini Brogi

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