partial leaf functions

Last updated Apr 23, 2024

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

References.

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