57 search results - page 10 / 12 » Initial Algebra Semantics Is Enough! |
ENTCS
2006
13 years 7 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
The text of this paper has passed across many Internet routers on its way to the reader, but some routers will not pass it along unfettered because of censored words it contains. ...
SIAMSC
2010
13 years 6 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
RIDE
2002
IEEE
14 years 17 days ago
2002
IEEE
Technologies and approaches in the field of Electronic Commerce are not mature enough in order to allow for their broad successful commercial application. Neither existing, succes...
LICS
2002
IEEE
14 years 17 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...