The regular infinite lambda calculus. Note distributed to the usenet group comp.lang.functional (1994)

by Mark Hopkins