Models of LCF.
作者： Robin Milner
DOI: 10.21236/AD0758645
关键词: Programming language 、 Scott information system 、 Mathematical logic 、 Computable function 、 Memorandum 、 Mathematics 、 Set theory 、 Semantics (computer science) 、 Computer programming 、 Soundness 、 Algorithm
摘要: LCF is a deductive system for computable functions proposed by D. Scott in 1969 an unpublished memorandum. The purpose of the present paper to demonstrate soundness with respect certain models, which are partially ordered domains continuous functions. This demonstration was supplied his memorandum; merely intended make this work more accessible.
ed.ac.uk
acm.org 
sci-hub.st 参考文章(0)