نتایج جستجو برای: innocence
تعداد نتایج: 910 فیلتر نتایج به سال:
A Review of Biased: Uncovering the Hidden Prejudices that Shapes What We See, Think, and Do. by Jennifer L. Eberhardt.
We p.S#&$ IQst year two mticles dealing with the a i m and relevante of the so-called 'nem first was by Professor Richrd Watson (1972, 210-15) and the second by ,301-4). We also pubhhed a r h by David C h k e of 'Explanation tson, S. A . LeBlanc and C. L. Redman (1972, 237-9). Here, nd Tutor of Peterhouse, Cambridge, sets out his com'dered views archaeology, some of which he has already dkeusse...
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an alternating strategy with partial memory, in which the strategy plays according to its view. Extending the definition to nonalternating strategies is problematic, because the traditional definition of views is based on ...
In this note, we reformulateHyland-Ong-Nickau pointer game semantics for PCF, as a more concurrent style of games, called 2-dimensional games. The main novelty of these games is that they are played on concurrent graphs, instead of trees. This enables to permute moves, and to decompose the innocence constraint on strategies, as local permutation properties. 1 Step one: reformulate pointer games...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید