Skip to content

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

Photo of Vlad Patryshev
Hosted By
Vlad P.
Valeria de Paiva: Intuitionistic Modal Logic and Applications (IMLA)

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)

Photo of Bay Area Categories And Types group
Bay Area Categories And Types
See more events