Nuprl Definition : bound-term
bound-term(opr) ==  varname() List × term(opr)
Definitions occuring in Statement : 
term: term(opr)
, 
varname: varname()
, 
list: T List
, 
product: x:A × B[x]
Definitions occuring in definition : 
product: x:A × B[x]
, 
list: T List
, 
term: term(opr)
FDL editor aliases : 
bound-term
Latex:
bound-term(opr)  ==    varname()  List  \mtimes{}  term(opr)
Date html generated:
2020_05_19-PM-09_53_49
Last ObjectModification:
2020_03_09-PM-04_08_22
Theory : terms
Home
Index