18 citations · 40 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 4 cited
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
Robin Kaarsgaard, Mathys Rennela
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and…
cs.LO2019★ 6 cited
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…