Haskell 寻找像这样谈论类型的论文

我正在写一篇关于Haskell主题的学士论文，该主题涉及固定点，因此我尝试将所有类型的东西都严格化。我将这些类型划分如下：

---

你知道使用这个定义或相近定义的论文吗？

这是斯科特语义学，以真正发明这个定义的达娜·斯科特命名。我想你可以在他的作品中找到它

---

哦，这样的有序集被称为“域”，所以，域语义是相同事物的另一个名称。它有各种各样的改进，允许更高级别的类型。

这就是Scott语义，以真正发明它的Dana Scott命名。我想你可以在他的作品中找到它

---

哦，这样的有序集被称为“域”，所以，域语义是相同事物的另一个名称。有各种各样的改进，允许更高级别的类型。

您所描述的通常不被称为“类型”。更确切地说，它通常被称为a，用于。对于固定点，此类域通常被视为（CPO）。这些可能有不同的“味道”，如欧米茄CPO或DCPO

---

如果可以的话，可以看看一些编程语言教科书中描述的类型，例如Winskel formal semantics book。

您描述的类型通常不被称为“类型”。更确切地说，它通常被称为a，用于。对于固定点，此类域通常被视为（CPO）。这些可能有不同的“味道”，如欧米茄CPO或DCPO

如果可以的话，可以看看一些编程语言教科书（如Winskel formal semantics book）中描述的内容