scientific article; zbMATH DE number 1342281
From MaRDI portal
Publication:4263871
zbMath0931.03036MaRDI QIDQ4263871
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
category-theoretic modelsfragments of intuitionistic linear logiccategorical glueing constructionfree symmetric monoidal cocompletionKripke-like parameterized logical predicatestranslations between linear type theories
Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (4)
Pseudo-distributive laws and axiomatics for variable binding ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Domain-theoretical models of parametric polymorphism ⋮ Type-directed specialization of polymorphism.
This page was built for publication:
