机译:建设性的Galois连接驯服了针对机械化元理论的Galois连接框架
Abstract Interpretation; Galois Connections; Monads;
机译:建设性的Galois连接驯服了针对机械化元理论的Galois连接框架
机译:封闭与内部之间的建设性盖洛依联系
机译:迭代连接和非降级盖洛依群的盖洛依理论
机译:论伽罗瓦联系的建构性
机译:Isotone模糊Galois连接及其在形式概念分析中的应用。
机译:模糊框架中不平衡结构之间的伽罗瓦联系
机译:建构性伽罗瓦连接:驯服伽罗瓦连接框架 机械化元理论