Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
Restriction in Program Algebra
Marcel Jackson, Tim Stokes
We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are o…
math.LO2021
Override and restricted union for partial functions
Tim Stokes
The {\em override} operation is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary funct…