Nuprl Definition : kindname
kindname(i;k) ==  inl <i, k>
Definitions occuring in Statement : 
pair: <a, b>
, 
inl: inl x
FDL editor aliases : 
kindname
Latex:
kindname(i;k)  ==    inl  <i,  k>
Date html generated:
2016_05_16-AM-11_01_19
Last ObjectModification:
2012_02_25-AM-10_53_55
Theory : event-ordering
Home
Index