Nuprl Definition : thread
Thread == Id × Id
Definitions occuring in Statement :
Id: Id,
product: x:A × B[x]
FDL editor aliases :
thread
thread
Thread == Id \mtimes{} Id
Date html generated:
2015_07_17-AM-09_04_32
Last ObjectModification:
2013_03_25-PM-01_56_32
Home
Index