Institution Morphisms by Joseph Goguen, Grigore Rosu

Institution Morphisms

Joseph Goguen, Grigore Rosu

38 pages missing pub info (editions)

nonfiction politics
Powered by AI (Beta)
Loading...

Description

Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphisim have been suggested for forming categories with institutions as objects, and a surprising var...

Read more

Community Reviews

Loading...

Content Warnings

Loading...