partial leaf functions

Last updated Dec 2, 2024

Tags: star-autonomous category, Int construction, partial function

References.

• Simple Free Star-Autonomous Categories and Full Coherence (Hughes)