![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Dec. 9th, 2018
nice reading
Dec. 9th, 2018 12:57 pmhttp://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.
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.
вы будете смеяться...
Dec. 9th, 2018 09:11 pmДо меня только сейчас дошло, что Дуремар и не собирался убить младенца Поттера. Он туда хоркрукс спрятал, вот и все.
А я тормоз, конечно.
А я тормоз, конечно.