Скорее всего, переменная, значением которой является процедура.Многие современные языки программирования поддерживают это понятие.Например, C имеет функциональные указатели:
void foo()
{
printf("Hello, world!\n");
}
int main()
{
void (*funcp)(void); // pointer to function
funcp = foo;
funcp();
}
Python:
def foo():
print 'Hello, world!'
f = foo // assign foo (a function) to variable foo
f()