![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Some Open Problems in Homotopy Type Theory
Some Open Problems in Homotopy Type TheoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Benedikt Ahrens. Type Theory is an area of computer science which deals with formal systems that are generally referred to as type theories as well. A type theory can be viewed as a programming language with a type system so expressive that programs written in the language automatically come with a strong guarantee of correctness. Alternatively, a type theory can be seen as a foundation in which we can develop mathematics by formulating statements and proving theorems. Homotopy Type Theory develops this idea further by also connecting it to the study of spaces up to continuous transformations. This talk will comprise two parts. In the first half, I will introduce the field. Afterwards, I will give an overview of my strategies to connect several long-standing and well-known open problems in homotopy type theory with each other. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsTest EPS - College Research and KT Support Activities 'Roles' Postgraduate Gender and Sexuality Network DiscussionOther talksTBA Quantum Sensing in Space The tragic destiny of Mileva Marić Einstein TBA Life : it’s out there, but what and why ? Ultrafast Spectroscopy and Microscopy as probes of Energy Materials |