An adequate and efficient left-associated binary numeral system in the »-calculus.

Saved in:

Bibliographic Details
Title:	An adequate and efficient left-associated binary numeral system in the »-calculus.
Authors:	GOLDBERG, MAYER¹
Source:	Journal of Functional Programming. 11/01/2000, Vol. 10 Issue 6, p607-623. 17p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/s0956796800003804