NAME


SYNOPSYS

tionality formal specification in CAMILA


DESCRIPTION

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


SEE ALSO

No include commands found.


AUTHOR

No autor