7 search results - page 2 / 2 » The Bicategory-Theoretic Solution of Recursive Domain Equati... |
SAS
1993
Springer
13 years 11 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
SIAMCO
2008
13 years 7 months ago
2008
We consider systems governed by partial differential equations with spatially periodic coefficients over unbounded domains. These spatially periodic systems are considered as pertu...