Haskell Singapore Meetup, Feb

Speaker: Thomas Tan
Title: "Induction is not derivable in second order dependent type theory"

Presenting Herman Geuvers' paper (2000) [1] showing the non-derivability of any induction principles in weaker type theories such as λP2 or the Calculus of Constructions.

[1] https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.4355

The meeting is at Red Hat:

Venue: AXA Tower, Tanjong Pagar
Level 11 Training room
Time: 7-9pm

RSVP.

Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.