University of Birmingham > Talks@bham > Theoretical computer science seminar > Some Open Problems in Homotopy Type Theory

Some Open Problems in Homotopy Type Theory

Add 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.