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
Kind == IdLnk \mtimes{} Id + (Id \mtimes{} Id)
Date html generated:
2015_07_17-AM-09_11_09
Last ObjectModification:
2012_02_25-AM-10_52_37
Home
Index