74 search results - page 11 / 15 » Algebras Versus Coalgebras |
102
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
225
click to vote
ACMMPC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
106
Voted
ACS
2008
15 years 25 days ago
2008
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings ar...
112
Voted
ENTCS
2007
15 years 20 days ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
121
Voted
CASC
2010
Springer
14 years 11 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...