Switchings of a linking

Last updated Apr 23, 2024

Tags: Switching criterion, partial leaf functions References

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