Nuprl Definition : strict-fun
StrictFun == partial(Void) ⟶ partial(Void)
Definitions occuring in Statement :
partial: partial(T),
function: x:A ⟶ B[x],
void: Void
Definitions occuring in definition :
function: x:A ⟶ B[x],
partial: partial(T),
void: Void
FDL editor aliases :
strict-fun
Latex:
StrictFun == partial(Void) {}\mrightarrow{} partial(Void)
Date html generated:
2016_05_15-PM-10_04_17
Last ObjectModification:
2015_09_23-AM-08_22_07
Theory : bar!type
Home
Index