Axioms and decidability for type isomorphism in the presence of sums.

Danko Ilik

Browse the full CSL paper archive.