Как хранить в стеке - в данном случае есть два стека. Один для вычислений, другой хранит саму польскую запись (хотя это уже не стек, а просто очередь).
Стек для вычислений лучше всего делать типа int или double(float).
Запись самого вычисления лучше сделать в обычном векторе строк (хотя можно и в стеке, как удобно). И хранить в "нормальном порядке" (то есть, развернуть). То есть, я бы хранил такое {"0", "a", "-', "0", "b", "-", "-"}
.
Как выполнять. Код в цикле читает элемент с вектора и смотрит на него. Если это число (первый символ - цифра) - помещает в стек вычислений, если это переменная (a или b в вашем случае, то есть, первый символ - это a..z A..Z) - берет их значение (к примеру, спрашивает у пользователя) и заносит в стек. Если в очереди операция, то извлекает с стека два числа, производит операцию и заносит в стек результат вычислений. В конце работы просто распечатывается вершина стека.
Собственно код, я думаю Вы можете написать самостоятельно.