1. LISP Extended Algebraic Facility.
2. "LEAF: A Language which Integrates Logic, Equations and Functions", R. Barbuti et al in Logic Programming, Functions Relations and Equations, D. DeGroot et al eds, P-H 1986, pp.201-238.
(Or "terminal node") In a tree, a node which has no daughter.