functions and hence provides an adequate basis for a theory of computation. The LISP 1.5 programminglanguage extends pure LISP in many ways that make it more
semantics for the language can be based on the model or the proof theory (or both) of the logic. Marlow, Simon. Parallel and Concurrent Programming in Haskell: