scientific article; zbMATH DE number 4047715

MaRDI QIDQ3784065zbMATH OpenFDO

Authors François Lamarche

Publication date 1988

zbMATH Keywords

Coquand's theory of constructionssemigranular category

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 4118557
• scientific article; zbMATH DE number 4187810
• scientific article; zbMATH DE number 937388
• scientific article; zbMATH DE number 1696771
• Semantics of the second order lambda calculus

Cited in

(5)

• The Lawrence-Sullivan construction is the right model for \(I^{+}\)
• scientific article; zbMATH DE number 5186437 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• scientific article; zbMATH DE number 7566073 (Why is no real title available?)
• An algebraic approach to stable domains

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