Nuprl Definition : Msg
Msg(M) == l:IdLnk × t:Id × (M l t)
Definitions occuring in Statement :
IdLnk: IdLnk,
Id: Id,
apply: f a,
product: x:A × B[x]
FDL editor aliases :
Msg
Msg(M) == l:IdLnk \mtimes{} t:Id \mtimes{} (M l t)
Date html generated:
2015_07_17-AM-09_10_56
Last ObjectModification:
2012_02_25-AM-10_52_30
Home
Index