Nuprl Definition : path_term
path_term(phi; w; a; b; r) == path-term((phi)p;w;a;b;(r)p)
Definitions occuring in Statement :
path-term: path-term(phi;w;a;b;r),
cc-fst: p,
csm-ap-term: (t)s
Definitions occuring in definition :
cc-fst: p,
csm-ap-term: (t)s,
path-term: path-term(phi;w;a;b;r)
Latex:
path\_term(phi; w; a; b; r) == path-term((phi)p;w;a;b;(r)p)
Date html generated:
2016_06_16-PM-02_18_18
Last ObjectModification:
2016_06_09-PM-00_34_26
Theory : cubical!type!theory
Home
Index