微信服务号

微信订阅号

Home > Archive>Volume 10, Issue 2, 1999 >197-200
PDF HTML XML Export Cite reminder
Initial and Terminal Semantics for Liberal Glued Theories in Institutions
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
    • |
  • Figures
    • |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • |
  • Materials
    • |
  • Comments
    Abstract:

    In this paper, the correspondence among initial(terminal) semantics of liberal glued theories and factor theories are constructed in Institutions, the glued morphism of liberal theory morphisms and its initial(terminal) semantics are given, and the important conclusion is shown that Sign: Thl→Sign conditionally reflects colimits.

    Reference
    Related
    Cited by
Get Citation

刘富春. Institution中自由合并理论的初始与终结语义*.软件学报,1999,10(2):197-200

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 22,1997
  • Revised:March 03,1998
  • Adopted:
  • Online:
  • Published:
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063