scientific article

From MaRDI portal

Publication:3972526

Jump to:navigation, search

zbMath0739.18002MaRDI QIDQ3972526

No author found.

Publication date: 25 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coherence derivations lambda terms symmetric monoidal closed categories biclosed categories balanced sequents

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

On the conditions of full coherence in closed categories

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3972526&oldid=12011285"