Nuprl Definition : first-class

first-class(L) ==  reduce(λX,Y. [X?Y];Empty;L)


Definitions occuring in Statement :  cond-class: [X?Y],  es-empty-interface: Empty,  reduce: reduce(f;k;as),  lambda: λx.A[x]
FDL editor aliases :  first-class
first-class(L)  ==    reduce(\mlambda{}X,Y.  [X?Y];Empty;L)


Date html generated: 2015_07_17-PM-00_50_18
Last ObjectModification: 2012_02_25-PM-01_24_39

Home Index