2025/09/22 by Shilen, Alexander
paper · doi:10.18148/sub/2024.v29.1288
Pointwise abstraction has proven elusive to define, though language that requires the operation is commonplace. I show that modeling alternatives as sets of choice functions allows them to be bound into with a simple abstraction rule.