scientific article; zbMATH DE number 3521025

MaRDI QIDQ4100554zbMATHFDO

Authors Michael Barr

Publication date 1976

Full work available at URL http://www.numdam.org/item?id=CTGDC_1976__17_1_3_0

Mathematics Subject Classification ID

Categorical structures (18D99) Duality theory for topological vector spaces (46A20) Methods of category theory in functional analysis (46M99)

Cited in

(9)

• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• scientific article; zbMATH DE number 3521026 (Why is no real title available?)
• Holomorphic models of exponential types in linear logic
• scientific article; zbMATH DE number 3525754 (Why is no real title available?)
• On *-autonomous categories of topological vector spaces
• Feedback for linearly distributive categories: Traces and fixpoints
• scientific article; zbMATH DE number 3577432 (Why is no real title available?)
• Linear Läuchli semantics
• scientific article; zbMATH DE number 3710800 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4100554)