更改

Logically consistent vocabulary

添加143字节2016年2月5日 (五) 13:01
In this website, Logically Consistent Vocabulary means that all the key terms, especially the set of terms used to describe the computing system are going to be logically consistent, otherwise, it will eventually present certain computational erroneous outcomes.
 
=References=
[http://lambda-the-ultimate.org/node/1178#comment-13807] Yoneda Lemma explained on the [http://lambda-the-ultimate.org website].
匿名用户