Pages that link to "Item:Q3372685"

The following pages link to Isomorphisms of simple inductive types through extensional rewriting (Q3372685):

Displaying 2 items.

• Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
• An insertion operator preserving infinite reduction sequences (Q3520149) (← links)