Nuprl Definition : Kind-deq
KindDeq == union-deq(IdLnk × Id;Id;product-deq(IdLnk;Id;IdLnkDeq;IdDeq);IdDeq)
Definitions occuring in Statement :
idlnk-deq: IdLnkDeq,
IdLnk: IdLnk,
id-deq: IdDeq,
Id: Id,
union-deq: union-deq(A;B;a;b),
product-deq: product-deq(A;B;a;b),
product: x:A × B[x]
FDL editor aliases :
Kind-deq
KindDeq == union-deq(IdLnk \mtimes{} Id;Id;product-deq(IdLnk;Id;IdLnkDeq;IdDeq);IdDeq)
Date html generated:
2015_07_17-AM-09_13_00
Last ObjectModification:
2012_02_25-AM-10_53_28
Home
Index