Nuprl Definition : make_list_fan
make_list_fan(T;A;n) == primrec(n;[];
i,r. [A i / r])
Definitions occuring in Statement :
apply: f a,
lambda: x.A[x],
primrec: primrec(n;b;c)
FDL editor aliases :
make_list_fan
make\_list\_fan(T;A;n) == primrec(n;[];\mlambda{}i,r. [A i / r])
Date html generated:
2013_03_20-AM-09_48_40
Last ObjectModification:
2012_11_27-AM-10_32_02
Home
Index