Name: Valeria de Paiva, "Doing Time, categorically"
Start: 2017-09-22T19:00:00-07:00
End: 2017-09-22T21:00:00-07:00
Location: Room EC326, Bannan Engineering Building, Santa Clara University

Valeria de Paiva, "Doing Time, categorically"

Valeria will present an easy system of intuitionistic tense logic, which has a Curry-Howard corresponding type theory and categorical semantics. This was a recent paper by Harley Eades III and myself in the IFColog Journal of Logics and Applications, special volume dedicated to Grisha Mints (May 2017). This is a continuation of work Valeria has presented in BACATS in May 2014 https://www.meetup.com/Bay-Area-Categories-And-Types/events/215717902/ .

Regarding parking.

The administration told us that parking at the university is free starting at 8pm. So if there's nobody at the gate, better not go there. But if there is somebody, you can ask for a day permit, explaining that you are coming for a seminar.

Alternatively, there was a lot of parking on Franklin street. Unfortunately they are repairing it now, so... there may be update after Tuesday, with new ideas.

Vlad Patryshev

Bay Area Categories And Types

Technology

Logic

Category Theory

Functional Programming

Type Theory

Functors and Monads

Valeria de Paiva, "Doing Time, categorically"

Room EC326, Bannan Engineering Building, Santa Clara University

Share

Bay Area Categories And Types

Valeria de Paiva, "Doing Time, categorically"

Bay Area Categories And Types

Details

Members are also interested in