Nuprl Definition : retract-compose
retract-compose(h;f) == λx.eval z = h x in f x
Definitions occuring in Statement :
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
callbyvalue: callbyvalue,
apply: f a
FDL editor aliases :
retract-compose
Latex:
retract-compose(h;f) == \mlambda{}x.eval z = h x in f x
Date html generated:
2016_05_14-PM-03_31_37
Last ObjectModification:
2015_09_22-PM-06_00_45
Theory : decidable!equality
Home
Index