Encoding architecture algebra. - Stephane Bersier; Xinyi Chen-Lin (CoRR, 2024)