information-flow(T;S) ==
{i:Id| (i 
S)} 
{i:Id| (i S)} {s:T List| 0 < ||s||} (T + Top)
Definitions :
l_member: (x l),
Id: Id,
function: x:A B[x],
set: {x:A| B[x]} ,
list: type List,
less_than: a < b,
natural_number: $n,
length: ||as||,
union: left + right,
top: Top
FDL editor aliases :
information-flow
information-flow(T;S) == \{i:Id| (i \mmember{} S)\} {}\mrightarrow{} \{i:Id| (i \mmember{} S)\} {}\mrightarrow{} \{s:T List| 0 < ||s||\} {}\mrightarrow{} (T + Top\000C
)
Date html generated:
2010_08_27-AM-09_36_12
Last ObjectModification:
2009_12_16-AM-01_45_36
Home
Index