scientific article; zbMATH DE number 1180528

MaRDI QIDQ4399656zbMATH OpenFDO

Authors Fuchun Liu

Publication date 28 July 1998

zbMATH Keywords

cocontinuouscontinuouscordialinduced functor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3864486
• A 2-categorial generalization of the concept of institution
• Structured theories and institutions
• Institution morphisms

Cited in

(1)

• scientific article; zbMATH DE number 1497746 (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 Q4399656)