TY  - RPRT
TI  - Specializing anti-unification for interaction models composition via gate connections
AU  - Joel Nguetoum
AU  - Boutheina Bannour
AU  - Pascale Le Gall
AU  - Erwan Mahe
PY  - 2025
UR  - https://arxiv.org/abs/2512.07595
ID  - 2512.07595
ER  -