Buscas alternativas:
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
parameters space » parameter space (Expandir a busca), parameters pcn (Expandir a busca), parametric space (Expandir a busca)
space typed » space type (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
parameters space » parameter space (Expandir a busca), parameters pcn (Expandir a busca), parametric space (Expandir a busca)
space typed » space type (Expandir a busca)
1
“... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese