Nuprl Definition : event-ordering+
EO+(Info) == EO; "info":es-base-E(self) ⟶ Info
Definitions occuring in Statement :
es-base-E: es-base-E(es),
event_ordering: EO,
function: x:A ⟶ B[x],
token: "$token",
record+: record+
FDL editor aliases :
event-ordering+
Latex:
EO+(Info) == EO; "info":es-base-E(self) {}\mrightarrow{} Info
Date html generated:
2016_05_16-PM-00_59_23
Last ObjectModification:
2012_02_25-PM-01_07_20
Theory : event-ordering
Home
Index