Nuprl Definition : var-term-meaning
var-term-meaning(lvl;T) == mk-ctt-term-mng(lvl; (T)p; q)
Definitions occuring in Statement :
mk-ctt-term-mng: mk-ctt-term-mng(lvl; T; t),
cc-snd: q,
cc-fst: p,
csm-ap-type: (AF)s
Definitions occuring in definition :
mk-ctt-term-mng: mk-ctt-term-mng(lvl; T; t),
csm-ap-type: (AF)s,
cc-fst: p,
cc-snd: q
FDL editor aliases :
var-term-meaning
Latex:
var-term-meaning(lvl;T) == mk-ctt-term-mng(lvl; (T)p; q)
Date html generated:
2020_05_20-PM-08_00_21
Last ObjectModification:
2020_05_06-PM-02_07_09
Theory : cubical!type!theory
Home
Index