scientific article; zbMATH DE number 1988959

MaRDI QIDQ4430286zbMATH OpenFDO

Authors Joseph Goguen, José Meseguer

Publication date 20 October 2003

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• Kripke-style models for typed lambda calculus
• An order-sorted logic for knowledge representation systems
• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• Automatic synthesis of logical models for order-sorted first-order theories
• Relating CASL with other specification languages: the institution level.

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