全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  1996 

institution中合并理论的初始与终结语义

, PP. 360-363

Keywords: 程序系统,程序语言,模型论,范畴论

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文在一些相当直观的条件下建立了institution中合并理论与各因子理论的初始(终结)语义之间的对应关系.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133