Saturday, November 14th, 2009

Time	Event
8:57p	Учебник теории категорий для специалистов по computer science ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf Доходчивое введение в современную теорию типов http://www.cs.ru.nl/~herman/PUBS/IntroTT.pdf (Comment on this)

<< Previous Day

2009/11/14 [Calendar]

Next Day >>