全部 标题 作者 关键词 摘要
, PP. 360-363
Keywords: 程序系统,程序语言,模型论,范畴论
Full-Text Cite this paper Add to My Lib
本文在一些相当直观的条件下建立了institution中合并理论与各因子理论的初始(终结)语义之间的对应关系.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133