scientific article; zbMATH DE number 1406806

MaRDI QIDQ4940722zbMATH OpenFDO

Authors Serguei V. Solov'ev

Publication date 28 February 2000

zbMATH Keywords

closed categoriesdecidability of equality of morphismsdecision proceduresubstructural logictyped lambda calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited in

(2)

• Term collections in {\(\lambda\)} and {\(\rho\)}-calculi
• scientific article; zbMATH DE number 3837991 (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 Q4940722)