виды нашей местности в декабре

 

nice reading

http://www.ps.uni-saarland.de/courses/sem-ws17/confluence.pdf 

We study confluence of abstract relations and an abstract λβ-calculus parameterized with a function for β-reduction. We show confluence of the abstract λβ-calculus using parallel reduction and a Takahashi function. We also study evaluation, strong normalization, and uniform confluence.

вы будете смеяться...

До меня только сейчас дошло, что Дуремар и не собирался убить младенца Поттера. Он туда хоркрукс спрятал, вот и все.
А я тормоз, конечно.