Sep. 24th, 2011
В смысле, линейную квантовую лямбду там...
И ещё - Валерия де Пайва в среду в 4:30 в Гугле в Маунтин Вью будет рассказывать о модальной логике, именно как-то связывая её с линейной; полностью подробности смотри BACAT.
Предварительно рекомендуется прочитать Rosetta Stone.
Кстати, Майк Стэй как раз будет хостом этого мероприятия. Я его типа вычислил.
И ещё - Валерия де Пайва в среду в 4:30 в Гугле в Маунтин Вью будет рассказывать о модальной логике, именно как-то связывая её с линейной; полностью подробности смотри BACAT.
Предварительно рекомендуется прочитать Rosetta Stone.
Кстати, Майк Стэй как раз будет хостом этого мероприятия. Я его типа вычислил.