scientific article; zbMATH DE number 7297812
From MaRDI portal
Publication:5144610
zbMath1452.03046MaRDI QIDQ5144610
No author found.
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3329999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40) 2-categories, bicategories, double categories (18N10)
Related Items (5)
Monoidal reverse differential categories ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Convenient antiderivatives for differential linear categories
This page was built for publication:
