Nuprl Definition : locknd-deq
locknd-deq() == product-deq(Id;Knd;IdDeq;KindDeq)
Definitions occuring in Statement :
Kind-deq: KindDeq,
Knd: Knd,
id-deq: IdDeq,
Id: Id,
product-deq: product-deq(A;B;a;b)
FDL editor aliases :
locknd-deq
Latex:
locknd-deq() == product-deq(Id;Knd;IdDeq;KindDeq)
Date html generated:
2016_05_16-AM-11_00_35
Last ObjectModification:
2012_02_25-AM-10_53_50
Theory : event-ordering
Home
Index