[identity profile] nivanych.livejournal.com 2012-12-26 02:32 pm (UTC)(link)
Так и не понял, нафига это надо.
Но заинтригован. Обязательно почитаю.

[identity profile] ivan-gandhi.livejournal.com 2012-12-26 04:54 pm (UTC)(link)
http://www.iai.uni-bonn.de/~jv/mpc08.pdf
http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf