bn:01441337n
Noun Concept
Categories: Model theory, Theoretical computer science
EN
institution
EN
The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". Wikipedia
English:
computer science
Definitions
Relations
Sources
EN
The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". Wikipedia
Wikidata