Skip to content
scrambled
Programming Language Theory Flashcard

In an ABT, what is the valence of an argument?

Books Concepts Decklanguage theory

Question

In an ABT, what is the valence of an argument?

Answer

The specification of an argument of an operator, specifying the number and the sorts of its bound variables and the sort of itself.