alexey_rom

Alexey Romanov

Logic, Programming and Everything

Name:
alexey_rom
Birthdate:
30 October 1982
Location:
Moscow, Москва, Russian Federation
External Services:
Interests: (27)
agda, books, c#, coq, erlang, fantasy, functional proramming, haskell, logic, math, mathematical logic, programming, ruby, scala, sf, Булгаков, Гоголь, Олди, Салтыков-Щедрин, книги, логика, математика, математическая логика, программирование, фантастика, функциональное программирование, фэнтези
Bio
Лицензия Creative Commons
Для всех открытых постов и комментариев, написанных в ЖЖ от имени этого ЖЖ пользователя, действует лицензия Creative Commons Attribution-ShareAlike (Атрибуция — С сохранением условий) 3.0 Непортированная.
Friends:
Communities: