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