Programmazione e algebra

Buonasera a tutti. Vi pongo oggi un quesito un po astratto. Studiando vari linguaggi di programmazione che imlementano paradigmi di programmazione che spingono verso l'astrazione per quanto riguarda la formulazione del codice, mi ha fatto pensare se ci potesse essere qualche legame con l'agebra astratta. Per esempio avrebbe senso assimilare una struttura dati astratta con una struttura algebrica? Oppure è possibile partire da una formulazione matematica per ricavare un certo dipo di codice che segue un qualche modello(qualunque cosa voglia dire).
Chiedo ai più esperti se ho sparato una stupidaggine oppure se c'è qualcosa di attinenente a ciò che ho scritto e consigliarmi qualche fonte per approfondire.