The journal
Open the journal →The conversation starts in the journal — be the first to post.
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.
Everything about Institution →