Nuprl Definition : event-data
EventData(M) == k:Kind × (M k)
Definitions occuring in Statement :
Kind: Kind
,
apply: f a
,
product: x:A × B[x]
FDL editor aliases :
event-data
EventData(M) == k:Kind \mtimes{} (M k)
Date html generated:
2015_07_17-AM-09_11_11
Last ObjectModification:
2012_02_25-AM-10_52_38
Home
Index