TY  - RPRT
TI  - Binding Contexts as Partitionable Multisets in Abella
AU  - Terrance Gray
AU  - Gopalan Nadathur
PY  - 2024
DO  - 10.4204/eptcs.404.2
UR  - https://arxiv.org/abs/2407.06625
ID  - 2407.06625
ER  -