Skip to main content

Use this tag with commuting conversions or permutative conversions.

References:
"Proofs and Types" by Jean-Yves Girard (pdf) Section 10.4 Commuting conversions