• [<<<]
  • [>>>]
9th
22:38

Миасо

- 20 comments

10th
13:41

Хоумскулинг

- 92 comments

11th
20:18

(no subject)

- 21 comments

12th
11:07

Хроники

- 4 comments

16:55

(no subject)



18:08

Nominal subtyping in ΠΣ-calculus / Contravariant casts considered harmful

- 16 comments

13th
11:45

Демо-версия

- 3 comments

12:15

Сны

- 3 comments

18:40

Детские заблуждения

- 2 comments

20:52

(no subject)

- 63 comments

14th
22:58

(no subject)

- 8 comments

15th
00:29

Математическое



01:51

Ω : Set -> Set



04:15

ΠΣ-calculus as foundation for ordinal complexity analysis