lista enlazada y funcion recursiva

[franco_cvm]

Buenas, hace poco aprendí recursividad y lo había entendido( un caso base y después la función se llama a si misma acercándose mas al caso base) pero ahora con punteros y lista enlazada se me complica entender el codigo:

el código en cuestión, para saber la cantidad de nodos que tiene una lista:

Código Delphi [-]
type
pnodo=^tnodo;
tnodo=record
data: string;
prox: pnodo;
end;
var
p: pnodo;


function cantidad(p: pnodo):integer;
if P^.prox=nil then
cantidad=o
else
cantidad:=cantidad(p^.prox)+1;(

he leído tutoriales de función recursiva pero no termino de entenderlo al máximo
¿mi duda es, como avanza mas allá de p^.prox para contar los otros nodos?¿como serian las registros de activación?