Found: 2
Select item for more details and to access through your institution.
Category-theoretic fibration as an abstraction mechanism in information systems.
- Published in:
- Acta Informatica, 2001, v. 38, n. 1, p. 1, doi. 10.1007/PL00013321
- By:
- Publication type:
- Article
Correctness of dataflow and systolic algorithms using algebras of streams.
- Published in:
- Acta Informatica, 2001, v. 38, n. 1, p. 45, doi. 10.1007/PL00013322
- By:
- Publication type:
- Article