Nuprl Definition : islambda def

if z is lambda then a otherwise b ==  PRIMITIVE


Rules referencing :  callbyvalueIslambda,  islambdaExceptionCases,  islambdaCases
FDL editor aliases :  islambda
Latex:
if  z  is  lambda  then  a  otherwise  b  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_31
Last ObjectModification: 2012_10_17-AM-11_40_14

Theory : canonical!form!tests


Home Index