efficient sequence of finite setsLast updated Feb 3, 2024Categorical Composable Cryptography (Broadbent and Karvonen, 2021)
