В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

505 membersпожаловаться на группу
2021 November 22

K

Kir in Типы в языках программирования, моделирования, представления знаний и жизни
http://gallium.inria.fr/~remy/mpri/cours1.pdf
источник
18:35пожаловаться#1

AG

Alex Gryzlov in Типы в языках программирования, моделирования, представления знаний и жизни
чот там только первые две главы по сути
источник
18:57пожаловаться#2

AG

Alex Gryzlov in Типы в языках программирования, моделирования, представления знаний и жизни
а ок, там надо вручную циферки менять
источник
18:59пожаловаться#3

AG

Alex Gryzlov in Типы в языках программирования, моделирования, представления знаний и жизни
http://gallium.inria.fr/~remy/mpri/cours2.pdf
http://gallium.inria.fr/~remy/mpri/cours3.pdf
http://gallium.inria.fr/~remy/mpri/cours4.pdf
http://gallium.inria.fr/~remy/mpri/cours5.pdf
http://gallium.inria.fr/~remy/mpri/cours6.pdf
источник
18:59пожаловаться#4

K

Kir in Типы в языках программирования, моделирования, представления знаний и жизни
О, спасибо!
источник
19:04пожаловаться#5

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Класс
источник
19:09пожаловаться#6

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Можно ещё в один пдф склеить
источник
19:10пожаловаться#7

G

Gleb in Типы в языках программирования, моделирования, представления знаний и жизни
Склеенный PDF доступен со страницы http://gallium.inria.fr/~remy/publications.html
источник
21:43пожаловаться#8

AG

Alex Gryzlov in Типы в языках программирования, моделирования, представления знаний и жизни
ага, без циферок :)
источник
21:44пожаловаться#9

AG

Alex Gryzlov in Типы в языках программирования, моделирования, представления знаний и жизни
http://gallium.inria.fr/~remy/mpri/cours.pdf
источник
21:44пожаловаться#10
2021 November 23

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
В итоге эта книга послала меня читать Пирса :(
источник
10:59пожаловаться#11

А⚙

Антон ⚙️ in Типы в языках программирования, моделирования, представления знаний и жизни
Все дороги ведут к Пирсу
источник
11:20пожаловаться#12

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Ага
источник
11:36пожаловаться#13

AC

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни
На самом деле они начинаются от Пирса. 😁
источник
11:37пожаловаться#14

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Ну собственно я хотел почитать его в этой жизни (никогда), но, видимо, придётся начать пораньше
источник
11:37пожаловаться#15

h

hazer_hazer in Типы в языках программирования, моделирования, представления знаний и жизни
Кидали наверняка
https://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
источник
11:44пожаловаться#16

АП

Антон Пилипчук... in Типы в языках программирования, моделирования, представления знаний и жизни
А где заканчиваются? ну... на данный момент
источник
11:48пожаловаться#17

AC

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни
Там очень много дорог, которые заканчиваются в разных местах.
источник
11:50пожаловаться#18

E

Eugene in Типы в языках программирования, моделирования, представления знаний и жизни
HoTT имеет перспективу в рамках темы этого чата?
источник
11:53пожаловаться#19

h

hazer_hazer in Типы в языках программирования, моделирования, представления знаний и жизни
На Александре Чичигине
источник
11:54пожаловаться#20