Categories, Allegories, and Circuit Design
(1994)
Conference Proceeding
Brown, C., & Hutton, G. (1994). Categories, Allegories, and Circuit Design.
Languages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a na... Read More about Categories, Allegories, and Circuit Design.