分享到:

带类型λ-演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1  (本文共4页) 阅读全文>>

《福州大学学报(自然科学版)》1993年03期
福州大学学报(自然科学版)

带类型λ-演算的扩充

在许多情况下λ-演算的能力不够、Felleisen M等把λ-演算加以扩充,并证...  (本文共8页) 阅读全文>>

《模糊系统与数学》2014年06期
模糊系统与数学

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范...  (本文共4页) 阅读全文>>

《数学的实践与认识》2015年11期
数学的实践与认识

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(...  (本文共5页) 阅读全文>>

《伊犁师范学院学报(自然科学版)》2010年01期
伊犁师范学院学报(自然科学版)

L子集范畴中定向函子与逆向函子的伴随性研究

引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明...  (本文共4页) 阅读全文>>

《数学进展》2010年05期
数学进展

相关分次函子及其应用(英文)

讨论了相关分次函子的一些基本性质.作为其应用,回顾了由本文的第一作者最先引入的弱分段Koszul模.更具体地,设M为弱分段Koszul模.通...  (本文共12页) 阅读全文>>

《科教文汇(中旬刊)》2009年02期
科教文汇(中旬刊)

单麦基函子的模判定

我们知道域K上有限群G的麦基函子M和K上的麦基代数μk(G)的模...  (本文共1页) 阅读全文>>