Operator-Based Semantics for Choice Programs: Is Choosing Losing?

Jesse Heyninck

Browse the full KR paper archive.