Nuprl Definition : information-flow
information-flow(T;S) == {i:Id| (i ∈ S)} ─→ {i:Id| (i ∈ S)} ─→ {s:T List| 0 < ||s||} ─→ (T + Top)
Definitions occuring in Statement :
Id: Id,
l_member: (x ∈ l),
length: ||as||,
list: T List,
less_than: a < b,
top: Top,
set: {x:A| B[x]} ,
function: x:A ─→ B[x],
union: left + right,
natural_number: $n
FDL editor aliases :
information-flow
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:
2015_07_17-AM-08_58_05
Last ObjectModification:
2013_03_25-PM-01_54_14
Home
Index