Thorsten Altenkirch - Why Type Theory matters | Lambda Days 2019

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- WHY TYPE THEORY MATTERS by Thorsten Altenkirch ABSTRACT Modern Type Theory (usually called Homotopy Type Theory) is at the same time the ultimate functional programming language and a novel foundation of Mathematics, an alternative to the mathematical assembly language called set theory. Type theory exploits the advantages of static typing to the limit, meaning that by hiding implementation details you can identify tow object which behave the same - this is called the univalence principle. Read the full abstract: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- THE SPEAKER - THORSTEN ALTENKIRCH University of Nottingham Thorsten Altenkirch is a Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. More on Thorsten Altenkirch: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #TypeTheory