Nuprl Definition : com-kind
com-kind(c) ==  c.tag
Definitions occuring in Statement : 
tagged-tag: x.tag
FDL editor aliases : 
com-kind
Latex:
com-kind(c)  ==    c.tag
Date html generated:
2016_05_17-AM-10_22_57
Last ObjectModification:
2012_02_25-PM-03_37_31
Theory : process-model
Home
Index