mon.cam - basic CAMILA monoidal constructions
monff(m: A->B, n: A->B, f: B * B -> B): A -> B
monseq(l:B-seq,r:B-seq,f:B * B -> B):B-seq
This small library provides two basic monoidal constructs which prove
useful many specification contexts.
The basic idea is to scale up monoidal computations in a compositional
and functorial way.
Last Update: 1999.11.11
The informal semantics of the operators are as follows:
monff(m,n,f)
is a higher-order function extending a binary monoidal
operation f to the F(X)=A->X functor.
monff(m,n,f)
is itself a monoidal operator.
monseq(m,n,f)
is a higher-order function extending a binary monoidal
operation f to the F(X)=X-seq functor.
monseq(m,n,f)
is itself a monoidal operator.
No include commands found.
J.N. Oliveira (jno@di.uminho.pt)