Nuprl Definition : ping_Reply
ping_Reply() == 
loc,l.{ping_pong() l loc}@|Loc, ping_Ping()|
Definitions occuring in Statement :
ping_pong: ping_pong(),
ping_Ping: ping_Ping(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
ping_Reply
ping\_Reply() == \mlambda{}loc,l.\{ping\_pong() l loc\}@|Loc, ping\_Ping()|
Date html generated:
2012_02_20-PM-06_19_53
Last ObjectModification:
2012_02_02-PM-02_45_49
Home
Index