wieiner_ - β-reduction of λ-terms is confluent by the Church-Rosser theorem.
[Recent Entries][Archive][Friends][User Info]
[игры]
05:58 pm
[Link] |
β-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)
|
|