972 resultados para Turkey--Kings and rulers--Correspondence
Resumo:
Recent studies have shown that party systems in emerging democracies do not always adequately reflect the various cleavages of society. Under such circumstances, retrospective voting may play a more important role than cleavage voting in determining electoral outcomes. For studies of retrospective voting, the choice between macro and micro level as the independent variable is a major methodological issue. Using individual-level data on Turkey, this paper addresses two major questions: (1) Are voters' decisions based on household economic conditions or national economic conditions? Do sociopolitical conditions also count? (2) Does the future evaluation of the economy affect voting decisions apart from past evaluation? Logit models are used in this research to answer these questions.
Resumo:
Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut s full Krivine machine KN.
Resumo:
Mode of access: Internet.
Resumo:
Compiled by John Evelyn (not the diarist) cf. Brit. mus. Catalogue.
Resumo:
Mode of access: Internet.
Resumo:
In anticipation of the coronation of King George III.
Resumo:
Mode of access: Internet.
Resumo:
Shipping list no.: 94-0153-P.
Resumo:
"This letterpress edition is limited to 750 copies."
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.