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/lambdadays2...
---
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/lambdadays2...
---
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: / lambdadays
Facebook: / lambdadays
LinkedIn: / lambda-days
Mail: info at lambdadays.org
#LambdaDays #TypeTheory