ELF类型理论及其应用

一、引言近几年来,类型理论和基于类型理论的软件开发方法受到计算机界,特别是理论计算机科学界的广泛关注,吸引了不少研究人员,也取得了丰硕的成果。其中较有代表性的工作有