Nuprl Definition : rec def

rec(x.A[x]) ==  PRIMITIVE

Latex:
rec(x.A[x])  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_05
Last ObjectModification: 2016_01_04-AM-10_25_01

Theory : core_1


Home Index