845 search results - page 1 / 169 » Connecting Many-Sorted Theories |
CADE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
COMBINATORICA
2002
13 years 4 months ago
2002
MP
2002
13 years 4 months ago
2002