Nuprl Definition : mon_reduce

Π as ==  reduce(*;e;as)



Definitions occuring in Statement :  reduce: reduce(f;k;as) grp_id: e grp_op: *
Definitions occuring in definition :  reduce: reduce(f;k;as) grp_op: * grp_id: e

Latex:
\mPi{}  as  ==    reduce(*;e;as)



Date html generated: 2016_05_16-AM-07_35_02
Last ObjectModification: 2015_09_23-AM-09_51_29

Theory : list_2


Home Index