TY  - RPRT
TI  - Multi-argument specialization semilattices
AU  - Paolo Lipparini
PY  - 2022
DO  - 10.21136/mb.2025.0082-24
UR  - https://arxiv.org/abs/2208.12680
ID  - 2208.12680
ER  -