LISP and Symbolic Computation, 6(3/4)249-258
The Next 700 Formal Language DescriptionsLockwood Morris
| Keywords: logic programming, functional programming, equational programming, symbolic computation, symbolic deduction, delayed evaluation |
[local copy]
![[picture of journal cover]](../LISP.JPG)