- 9th
- 10:38 pm
Миасо
- 20 comments
- 10th
- 01:41 pm
Хоумскулинг
- 92 comments
- 11th
- 08:18 pm
(no subject)
- 21 comments
- 12th
- 11:07 am
Хроники
- 4 comments
04:55 pm(no subject)
06:08 pmNominal subtyping in ΠΣ-calculus / Contravariant casts considered harmful
- 16 comments
- 13th
- 11:45 am
Демо-версия
- 3 comments
12:15 pmСны
- 3 comments
06:40 pmДетские заблуждения
- 2 comments
08:52 pm(no subject)
- 63 comments
- 14th
- 10:58 pm
(no subject)
- 8 comments
- 15th
- 12:29 am
Математическое
01:51 amΩ : Set -> Set
04:15 amΠΣ-calculus as foundation for ordinal complexity analysis
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