%0 Journal Article
%T THE INFORMATION SYSTEM MODEL OF PCF<br>PCF的信息系统模型
%A Wang Meiqing
%A <br>王美清
%J 软件学报
%D 1994
%I 
%X Typed lambda-calculus is a logic system, which can be used as a programming language, such as Plotkin's PCF. Plotkin contructed a model for PCF, then he considered the matching problems between the related denotational semanitics and the operational semantics-simple match and complete match. In the present paper the authors construct another model for PCF using the concept of information system which was introduced by Scott in 1982. The authors prove that the denotational semantics are related to the model and the operational semantics are completely matched.
%K Operational equivalence
%K denotational equivalence
%K complete match
%K information system<br>操作等价，指称等价，完全配合，信息系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=10CCC800E6F3CA4BF3E2E762519D078A&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=E158A972A605785F&sid=2A8D03AD8076A2E3&eid=DB817633AA4F79B9&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=9