[net.ai] Formal definition of Lisp systems

rreilly@euroies.UUCP (Dr Ronan Reilly) (06/05/86)

Does anyone have references to a system which could be used to 
formally define large Lisp program suites.  What I have in mind
is something akin to the dataflow system for procedural languages.

Thanks in advance,

Ronan