private communication. (During the 1993 MFPS, even!) [Rey93 (1993)

by G D Plotkin
Venue:Lisp and Symbolic Computation