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),
All Outputs (5)
Adobe's Acrobat -- providing the missing link? (1994)
Journal Article
Brailsford, D. F. (1994). Adobe's Acrobat -- providing the missing link?Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- providing the missing link?.
Experience with the use of Acrobat in the CAJUN publishing project (1994)
Presentation / Conference Contribution
Brailsford, D. F. (1994). Experience with the use of Acrobat in the CAJUN publishing project.Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Experience with the use of Acrobat in the CAJUN publishing project.
CD-ROM Acrobat Journals Using Networks (1994)
Presentation / Conference Contribution
Brailsford, D. F., & Harrison, L. (1994). CD-ROM Acrobat Journals Using Networks.The available technologies for publishing journals electronically are surveyed. They range from abstract representations, such as SGML, concerned largely with the structure of the document, to formats such as PostScript which faithfully model the l... Read More about CD-ROM Acrobat Journals Using Networks.
Categories, Allegories, and Circuit Design (1994)
Presentation / Conference Contribution
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.