wieiner_ - Post a comment [игры]
TimeText
05:58 pm

[info]wieiner_

[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
Reply:
 
From:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Username:
Password:
Subject:
No HTML allowed in subject
Message:


Powered by LJ.Rossia.org