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
Latex:
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:
2016_05_16-AM-10_05_56
Last ObjectModification:
2013_03_25-PM-01_54_14
Theory : new!event-ordering
Home
Index