范畴论模型相关硕士博士期刊学术论文 - 搜论网

范畴论模型相关论文

类型系统λω×≤的范畴论模型

类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要......

期刊

高阶子类型关系带序范畴计算机科学类型系统范畴论模型 highorder subtyping orderenriched category inser

看过本文同时还关注