Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

Robin Kaarsgaard

In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combin…