نتایج جستجو برای: dedekind domains
تعداد نتایج: 174933 فیلتر نتایج به سال:
Journal:
:Proceedings of the American Mathematical Society
1990
Journal:
:Proceedings of the American Mathematical Society
1976
Journal:
:Electr. Notes Theor. Comput. Sci.
2002
Klaus Grue
Many operations exist for constructing Scott-domains. This paper presents Dedekind completion as a new operation for constructing such domains and outlines an application of the operation. Dedekind complete Scott domains are of particular interest when modeling versions of λ-calculus that allow quantification over sets of arbitrary cardinality. Hence, it is of interest when constructing models ...
Journal:
:Journal of the Korean Mathematical Society
2013
Journal:
:Journal of Pure and Applied Algebra
2002
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید