author = {Alexander Baumgartner and Temur Kutsia},
title = {{Quantitative generalization of variadic structures with binders}},
language = {english},
year = {2025},
institution = {Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria},
length = {25}