Nuprl Definition : parameterized-rec
pRec(C;x.B[x];c) == PRIMITIVE
FDL editor aliases :
initial-parameterized-rec
Latex:
pRec(C;x.B[x];c) == PRIMITIVE
Date html generated:
2016_05_15-PM-01_49_04
Last ObjectModification:
2013_10_31-AM-11_30_21
Theory : parameterized!rec
Home
Index