Nuprl Definition : es-component
ComponentSpec(A;B) == es:EO+(Info) ─→ EClass(A) ─→ EClass(B) ─→ ℙ
Definitions occuring in Statement :
eclass: EClass(A[eo; e]),
event-ordering+: EO+(Info),
prop: ℙ,
function: x:A ─→ B[x]
FDL editor aliases :
es-component
Latex:
ComponentSpec(A;B) == es:EO+(Info) {}\mrightarrow{} EClass(A) {}\mrightarrow{} EClass(B) {}\mrightarrow{} \mBbbP{}
Date html generated:
2015_07_21-PM-04_06_43
Last ObjectModification:
2012_02_25-PM-03_02_27
Home
Index