About Institution

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". The notion attempts to "formalize the informal" concept of logical system.

members

here now

Everything about Institution →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

Institution

notion in computer science

0members1here now

Ask Genius Site

Site Journal

Not who you're looking for? Others named Institution: structure or mechanism of social order and cooperation gover

Feed Discussions About

Sort by

Content type

Latest Institution news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

Institution across IJR

Ask Genius by OpenServe about Institution Create in Studio Build a game Watch videos

About Institution

members

here now

Everything about Institution →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

Not who you're looking for? Others named Institution: structure or mechanism of social order and cooperation gover

Institution across IJR

Ask Genius by OpenServe about Institution Create in Studio Build a game Watch videos