Content deleted Content added
rm redlink |
→top: link for definiteness is wrong; better a redlink than a wrong link |
||
Line 20:
| url = http://www.velocityreviews.com/forums/t677086-some-basic-questions.html}}</ref>
The concepts that are used to explain this concept are [[extensionality]], [[definiteness (Computer science)|definiteness]], [[substitutivity of identity]], [[unfoldability]], and [[Referential transparency (computer science)|referential transparency]].<ref>{{cite web
| accessdate = 2011-06-17
| ___location = http://www.velocityreviews.com/
|