Quantale模的概念是由Abramsky和Vickers在1993年提出,其背景在于给运算语义学,指称语义学,公理语义学等提供新的数学模型Quantale......