alexey_rom: (Default)
Не помню, у кого из френдов была ссылка, но введение действительно неплохое:

Introduction to Type Theory

Profile

alexey_rom: (Default)
alexey_rom

April 2012

S M T W T F S
1 234567
89 1011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 06:22 am
Powered by Dreamwidth Studios