- Lambda calculus : A formal system designed to investigate functions and recursion.
- Programming language : A formal language specification, and programs for translating the formal language to machine code.
- Clojure : Lisp-derived programming language for the Java Virtual Machine.
- Scheme : Add brief definition or description
- Data structure : A means of specifying how information is arranged on storage media for processing.