Nuprl Definition : defunct-delay-program
defunct-delay-program(P) == let A,F = P in <A, 
dfp.delay-df-program(dfp) o F>
Definitions occuring in Statement :
delay-df-program: delay-df-program(dfp),
fpf-compose: g o f,
lambda: x.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
defunct-delay-program
defunct-delay-program(P) == let A,F = P in <A, \mlambda{}dfp.delay-df-program(dfp) o F>
Date html generated:
2012_01_23-PM-12_34_50
Last ObjectModification:
2012_01_04-PM-01_16_01
Home
Index