wieiner_ - β-reduction of λ-terms is confluent by the Church-Rosser theorem. [игры]
May 10th, 2019
05:58 pm

[Link]

Previous Entry Add to Memories Tell A Friend Next Entry
β-reduction of λ-terms is confluent by the Church-Rosser theorem.

Rombal Confluencies
for You
in Your Ribbon






and Tiphareth
is
not
in
a
business,
of course

Current Mood: cheerful
Current Music: Rammstein - Deutschland (Official Video)

(сказать)

Powered by LJ.Rossia.org