Nuprl Definition : norep2_accept
norep2_accept(client) == 
loc,n,m.{norep2_acc'send() client n}
Definitions occuring in Statement :
norep2_acc'send: norep2_acc'send(),
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
norep2_accept
norep2\_accept(client) == \mlambda{}loc,n,m.\{norep2\_acc'send() client n\}
Date html generated:
2012_02_20-PM-03_37_16
Last ObjectModification:
2012_02_02-PM-01_57_00
Home
Index