- 21st
- 05:43 pm
TWIMC: Поездки
- 3 comments
11:23 pmOTT + QITs?..
- 5 comments
- 22nd
- 11:10 am
Водительское
- 2 comments
- 26th
- 06:35 pm
«Бегущий город» в опасности.
- 3 comments
10:04 pmComputational model of univalence
- 27th
- 01:03 pm
Very dependent types?
- 28th
- 02:12 am
Почему мне нравится MLTT в качестве оснований математики
- 29th
- 05:39 am
Thoughts on higher coinductive types
- 30th
- 05:24 am
Towards higher coinductive types
Style Credit
- Style: Neutral Good for Practicality by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags