Nuprl Definition : primrec

primrec(n;b;c) ==  primtailrec(n;0;b;c)


Definitions occuring in Statement :  primtailrec: primtailrec(n;i;b;f),  natural_number: $n
Definitions occuring in definition :  primtailrec: primtailrec(n;i;b;f),  natural_number: $n
FDL editor aliases :  primrec
Latex:
primrec(n;b;c)  ==    primtailrec(n;0;b;c)


Date html generated: 2019_06_20-AM-11_27_29
Last ObjectModification: 2019_01_28-PM-05_03_29

Theory : call!by!value_2


Home Index