Associated article: Algebra and the Lambda Calculus
_ALGEBRA AND THE LAMBDA CALCULUS_ by Aubrey Jaffer [LISTING ONE] ;;; Excerpt from Jacal: Symbolic Mathematics System, written in Scheme. ;;; Copyright 1989-1993 Aubrey Jaffer. See the file "COPYING" in ;;; the Jacal distribution for terms applying to this program. ;;;; Variable ...