| Persian |
| has gloss | fas: نظریه حوزهها شاخهای از ریاضیات محض است که به بررسی انواع خاصی از مجموعههای جزیی-مرتبشده (Poset) که به حوزهها معروفند میپردازد. |
| lexicalization | fas: نظریه حوزهها |
| French |
| has gloss | fra: La théorie des domaines est une branche des mathématiques dont le principal champ dapplication se trouve en informatique théorique. Cette partie de la théorie des ensembles ordonnés a été introduite par Dana Scott pendant les années 60, afin de fournir le cadre théorique nécessaire à la définition dune sémantique dénotationnelle du lambda-calcul. |
| lexicalization | fra: Theorie des domaines |
| lexicalization | fra: théorie des domaines |
| Japanese |
| has gloss | jpn: 領域理論 （りょういきりろん、）は、通例、領域 と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、よって順序理論の一分野である。 主要な応用分野は計算機科学であり、特に関数型プログラミング言語の表示的意味論（）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 表示的意味論に対する他の重要なアプローチとしては距離空間を用いるものがある。 |
| lexicalization | jpn: 領域理論 |
| Korean |
| has gloss | kor: 도메인 이론은 수학에서 특별한 종류의 일반적으로 도메인이라 불리는 부분순서에 대하여 학습하는 한 분야이다. 따라서, 도메인 이론은 주문 이론의 한 분야라고 생각할 수 있다. 이 분야에서 전산학에서 주요 애플리케이션으로 열거하자면 표시적 의미론, 특히 함수 프로그램 언어에서 쓰였다. 도메인 이론은 정식화된 매우 일반적인 방법으로 수렴과 접근에 관한 직관적 아이디어이다. 그리고 위상 기하학에서 닫힌 관계이다. 전산학의 중요한 표시적 의미론이 접근하고 있는것은 계량 공간이다. |
| lexicalization | kor: 도메인 이론 |
| Chinese |
| has gloss | zho: 域理论是研究通常叫做域(domain)的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中，特别是针对函数式编程语言，用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念，并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。 |
| lexicalization | zho: 域理论 |