Haskell Singapore Meetup, Feb

Public group

Red Hat Singapore

8 Shenton Way, 11-01 AXA Tower, Singapore 068811 · Singapore

How to find us

Bring ID and check-in at the security desk in the lobby for Red Hat

Location image of event venue


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=

The meeting is at Red Hat:

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


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.