scientific article; zbMATH DE number 3545877

MaRDI QIDQ4120730zbMATHFDO

Authors Louis Mahé

Publication date 1976

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory and constructive mathematics (03F99)

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 Q4120730)