复合抽象数据类型结构化规约的形式语义及其模型

本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。