scientific article
From MaRDI portal
Publication:3866104
zbMath0429.03037MaRDI QIDQ3866104
No author found.
Publication date: 1979
Full work available at URL: https://eudml.org/doc/67038
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coherencederivationsCartesian closed categoryfragment of intuitionistic propositional calculuscanonical maps
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Complexity of proofs (03F20) Foundations, relations to logic and deductive systems (18A15)
Related Items (3)
Principal type-schemes of BCI-lambda-terms ⋮ Principal types of BCK-lambda-terms ⋮ On the conditions of full coherence in closed categories
This page was built for publication:
