نتایج جستجو برای: dcpo
تعداد نتایج: 94 فیلتر نتایج به سال:
In order to give the book under review the right appreciation it is necessary to first say a few words about its predecessor, the monograph A Compendium of Continuous Lattices which was published by the same six authors in 1980. The Compendium, as it is commonly called, contains a rather complete and very readable account of the theory of continuous lattices as is was known by that time. It has...
In 1987 Samson Abramsky presented Domain Theory in Logical Form in the Logic in Computer Science conference. His contribution to the conference proceedings was honoured with the Test-of-Time award 20 years later. In this note I trace a particular line of research that arose from this landmark paper, one that was triggered by my collaboration with Samson on the article Domain Theory which was pu...
s Issue. 808.1-Pos Board # B59.1 Thermodynamic Molecular Switch in the Hydrophobic Interaction of 35 Dipeptide Pairs Paul W. Chun University of Florida, PO Box 100245, Gainesville, Florida 32610-0245 Applying the Planck-Benzinger methodology, the sequencespecific hydrophobic interactions of 35 dipeptide pairs were examined over a temperature range of 273-333 K. The results imply that the negati...
A thorough understanding of function spaces is useful for identifying large cartesian closed categories of topological spaces and domains. We consider the question of what classes A of spaces should be paired with classes B of domains so that all function spaces [A→ B] are λ -compact domains. We observe that in general the class B forms what we call a domain variety, a class of domains closed u...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید