Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2019
Override and update
Marcel Jackson, Tim Stokes
Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinato…