1.Previous
3.Next

* Rewrite rule

Notes

References

External links

* http://userpage.fu-berlin.de/~ram/pub/pub_jf47ht81Ht/referential_transparency
* https://stackoverflow.com/a/9859966/655289 by (University of Birmingham)
* http://okmij.org/ftp/Computation/PrincipiaMathematica.txt

1.Previous
3.Next