Nuprl Definition : LocKnd
LocKnd == {ik:Id × Knd| let i,k = ik in ↑hasloc(k;i)}
Definitions occuring in Statement :
hasloc: hasloc(k;i),
Knd: Knd,
Id: Id,
assert: ↑b,
set: {x:A| B[x]} ,
spread: spread def,
product: x:A × B[x]
FDL editor aliases :
LocKnd
Latex:
LocKnd == \{ik:Id \mtimes{} Knd| let i,k = ik in \muparrow{}hasloc(k;i)\}
Date html generated:
2016_05_16-AM-11_00_28
Last ObjectModification:
2012_02_25-AM-10_53_50
Theory : event-ordering
Home
Index