(1)
Winter, Y. Plural Type Quantification. Proceedings of the AC 2025, 229-232. https://doi.org/10.53437/m37kew13.