• [<<<]
  • [>>>]
21st
17:43

TWIMC: Поездки

- 3 comments

23:23

OTT + QITs?..

- 5 comments

22nd
11:10

Водительское

- 2 comments

26th
18:35

«Бегущий город» в опасности.

- 3 comments

22:04

Computational model of univalence



27th
13:03

Very dependent types?



28th
02:12

Почему мне нравится MLTT в качестве оснований математики



29th
05:39

Thoughts on higher coinductive types



30th
05:24

Towards higher coinductive types