Nuprl Definition : callbyvalue
eval x = a in B[x] == PRIMITIVE
Rules referencing :
callbyvalueReduce,
cutEval,
callbyvalueInt,
callbyvalueAtom1,
callbyvalueAtom2,
callbyvalueAtom,
callbyvalueType,
callbyvalueAdd,
callbyvalueMultiply,
callbyvalueDivide,
callbyvalueRemainder,
callbyvalueMinus,
callbyvalueLess,
callbyvalueIntEq,
callbyvalueAtomEq,
callbyvalueAtomnEq,
callbyvalueApply,
tryReduceValue,
callbyvalueCallbyvalue,
callbyvalueSpread,
callbyvalueDecide,
callbyvalueIspair,
callbyvalueIsaxiom,
callbyvalueIsinl,
callbyvalueIsinr,
callbyvalueIslambda,
callbyvalueIsint,
callbyvalueIsatom,
callbyvalueIsatom1,
callbyvalueIsatom2,
callbyvalueExceptionCases,
ispairCases,
isintCases,
isatomCases,
isaxiomCases,
islambdaCases,
isinlCases,
isinrCases,
isatom1Cases,
isatom2Cases
FDL editor aliases :
callbyvalue
Latex:
eval x = a in B[x] == PRIMITIVE
Date html generated:
2016_05_13-PM-03_21_41
Last ObjectModification:
2008_02_10-PM-01_36_27
Theory : call!by!value_1
Home
Index