%0 Journal Article
%T 一种基于ADT的函数语言及其操作语义模型
%A 梅宏
%A 孙永强
%J 软件学报
%D 1994
%I 
%X 本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。
%K 函数式程序设计，λ演算，重写系统，Church－Rosser性质，强范式性质
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=92FE468B23550AFA59BE4AA4829C4B96&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=B31275AF3241DB2D&sid=9FFCC7AF50CAEBF7&eid=0401E2DB1F51F8DE&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=9