All Outputs (2)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic (1994)
Journal Article
Hutton, G. (1994). Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4(4),

Categories, Allegories, and Circuit Design (1994)
Presentation / Conference Contribution
Brown, C., & Hutton, G. Categories, Allegories, and Circuit Design. Presented at Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

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.