2014-04-02: Thorsten Altenkirch (Nottingham)

Sat, 21 Oct 2023 21:24:08 +0100

Thorsten Altenkirch (Nottingham)

Towards cubical type theory

2014-04-02 11:00:00 UTC
LT1310