The tensor product in Wadler's analysis of lists

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Fingerprint Dive into the research topics of 'The tensor product in Wadler's analysis of lists'. Together they form a unique fingerprint.

    Mathematics