Nuprl Definition : Knd
Knd ==  IdLnk × Id + Id
Definitions occuring in Statement : 
IdLnk: IdLnk
, 
Id: Id
, 
product: x:A × B[x]
, 
union: left + right
FDL editor aliases : 
Knd
Latex:
Knd  ==    IdLnk  \mtimes{}  Id  +  Id
Date html generated:
2016_05_16-AM-10_54_00
Last ObjectModification:
2012_02_25-AM-10_52_36
Theory : event-ordering
Home
Index