寻找关于类型的论文

Question

我正在撰写关于Haskell主题的学士论文，该主题涉及修复点，因此我尝试将所有类型的东西严格地制作。我编写了如下类型：

您是否知道使用此定义的文章或关闭文章？

Answer 1

这是斯科特语义，以达纳斯科特命名，他真正发明了这一点。我想你可以在他的作品中找到它。

哦，这样的东西集称为“域”，因此，域语义是同一事物的另一个名称。对此有各种改进，允许更高级别的类型。

Answer 2

您所描述的内容通常不称为“类型”。相反，它通常称为domain，用于denotational semantics。对于固定点，此类域通常被视为complete partial orders（CPO）。这些可能有不同的“味道”，如omega-CPO或DCPOS。

如果可以，请查看一些编程语言教科书中描述的domain theory，例如Winskel形式语义书。