205
click to vote
FORTE
2004
15 years 9 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
204
Voted
LICS
2000
IEEE
16 years 13 hour ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...