Valeria de Paiva: Intuitionistic Modal Logic and Applications (IMLA)

Hosted By
Vlad P.

Details
Valeria will review the programme of intuitionistic modal logic in its two original sources: modal logicians interested in Intuitionism and functional programmers/type theorists interested in (computational) modalities. She will discuss some trends of this kind of work since the first IMLA in Trento in 1999 and the tendencies that we can see in this line of work today.
Slides (http://www.tecmf.inf.puc-rio.br/LogicSemanticsII?action=AttachFile&do=view&target=dePaiva.pdf)
(just resending it, to remind)

Bay Area Categories And Types
See more events
Room EC326, Bannan Engineering Building, Santa Clara University
500 El Camino Real · Santa Clara, CA
Valeria de Paiva: Intuitionistic Modal Logic and Applications (IMLA)