ACM Transactions on Programming Languages and Systems (TOPLAS)
Digital System Implementation
A notation for the GCD and LCM functions
APL '75 Proceedings of seventh international conference on APL
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
An introduction to APL for scientists and engineers
An introduction to APL for scientists and engineers
A programming language
History of programming languages I
Toward haptic mathematics: why and how
AVI '08 Proceedings of the working conference on Advanced visual interfaces
Toward multimodal notation for mathematics: Why and how
Journal of Visual Languages and Computing
Non-sequential mathematical notations in the LAMBDA system
ICCHP'10 Proceedings of the 12th international conference on Computers helping people with special needs
The four Rs of programming language design
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 0.00 |
The importance of nomenclature, notation, and language as tools of thought has long been recognized. In chemistry and in botany, for example, the establishment of systems of nomenclature by Lavoisier and Linnaeus did much to stimulate and to channel later investigation. Concerning language, George Boole in his Laws of Thought [1, p.21] asserted "That language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth generally admitted.