Diary – June 2019

Håkon Robbestad Gylterud

2019–06–11, Tuesday

Attending TYPES 2019 in Oslo. Jonathan is presenting our project on planar graphs in HoTT.

This is Simon Huber giving a talk on homotopy canonicity in cubical type theory.

Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺