Name: Valeria de Paiva: Intuitionistic Modal Logic and Applications (IMLA)
Start: 2014-12-05T18:30:00-08:00
End: 2014-12-05T21:30:00-08:00
Location: Room EC326, Bannan Engineering Building, Santa Clara University

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)

Vlad Patryshev

Bay Area Categories And Types

Technology

Logic

Category Theory

Functional Programming

Type Theory

Functors and Monads

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

Room EC326, Bannan Engineering Building, Santa Clara University

Share

Bay Area Categories And Types

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

Bay Area Categories And Types

Details

Members are also interested in