Elemir 18.09.2012 19:48sendxmpp

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →

math, books, types, logic, ня

#ttzoso

6 comments

Akemi

Я люблю скушать спокойную музыку и закутавшись в тёплый плед пить горячий чай смотря из окна на идущий на улице дождь. Я романтичная, спокойная и иногда даже скромная. Люблю читать мангу, смотреть аниме, рисовать в стиле аниме. Больше всего в жизни хочу найти друзей, потому что в реальном мире их нет. Вообщем обо мне судите сами...
http://lj.rossia.org/userinfo.bml?user=a...

I read (2)

clayrat

Klayraat

0anon

My readers (5)

snakehoney

ʎǝuoɥǝʞɐus

17eyes

Проба оперения

4da

4DA