tionality formal specification in CAMILA
The informal semantics of the operators are as follows:
- tionality formal specification in CAMILA
-
-------------------------------------------------------------------------------
Creation date : 1999.04.22
Last update : 1999.04.29
(c) UM - M.F.P. II - 1998/99
-------------------------------------------------------------------------------
tnest : A-set --> (A -> B) --> ((A -> B) x (A -> B))
ttot : A --> ((B x B -> B) x B) --> A-set --> (A -> B)
tcollect : A-set --> (A -> B) --> (A -> B)
mda : (A-set x A x (B x B -> B) x B) --> (A -> B) --> (A -> B)
mda stands for `multidimensional analysis'
tmkr : ((A -> B) -> (A -> B)) --> (A -> B)
tmkf : (A x A) -> (A -> B)-set --> (B -> B)
twodim : (A x A x A) --> (A -> A)-set --> (A -> A)-set
No include commands found.
No autor