The Tao of Types – Inaugural lecture: Professor Thorsten Altenkirch

The inaugural lecture of the Tao of Types presented by professor Thorsten Altenkirch

Tags: Computer Science, inaugural lecture, Professor of Computer Science, Professor Thorsten Altenkirch, Tao of Types