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