Nuprl Definition : term-to-path

<>(a) ==  (λa)


Definitions occuring in Statement :  cubical-lambda: (λb)
Definitions occuring in definition :  cubical-lambda: (λb)
FDL editor aliases :  term-to-path term-to-path
Latex:
<>(a)  ==    (\mlambda{}a)


Date html generated: 2016_06_16-PM-01_47_13
Last ObjectModification: 2016_06_03-AM-10_45_14

Theory : cubical!type!theory


Home Index