Sciweavers

CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
14 years 6 months ago
Behavioral Extensions of Institutions
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
Andrei Popescu, Grigore Rosu