Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
Category Theory for Programming - MaRDI portal

Category Theory for Programming (Q6409611)

From MaRDI portal





scientific article; zbMATH DE number 900545033
Language Label Description Also known as
English
Category Theory for Programming
scientific article; zbMATH DE number 900545033

    Statements

    publication date
    2 September 2022
    0 references
    arXiv classification
    cs.PL
    0 references
    math.CT
    0 references
    author
    Benedikt Ahrens
    0 references
    Kobe Wullaert
    0 references

    Identifiers

    arXiv ID
    2209.01259
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q6409611&oldid=40689316"
    Powered by MediaWiki