The Structural Theory of Pure Type Systems
1 078
10.3
Microsoft Research331 тыс
Следующее
27.07.16 – 1381:08:58Популярные
225 дней – 9725:33
225 дней – 2 41340:43Опубликовано 27 июля 2016, 1:35
By an analysis of the global structure of the set of pure type systems (PTS), we identify and classify various transformations of PTS which preserve normalization. In particular we identify predicative quantification and the Q-logic of P terms to be two interesting examples of such transformations
Свежие видео
1 день – 42723:21
8 дней – 2090:34
8 дней – 3974:34
10 дней – 58 96111:11
13 дней – 1 807 33117:15Случайные видео
145 дней – 200 8820:42
26.07.23 – 19 7450:56
08.02.23 – 4 7753:10
26.01.23 – 2 3986:51
19.02.21 – 23 0021:59
25.10.20 – 379 1846:50
10 часов – 5112:54
11 дней – 775 8493:34:44
11 дней – 279 27811:32
12 дней – 41012:09
12 дней – 6561:13