Pages that link to "Item:Q5096248"
From MaRDI portal
The following pages link to Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective (Q5096248):
Displaying 2 items.