Results 81 to 90 of about 17,990 (273)
We present a version of the HOL Light system that supports undoing definitions in such a way that this does not compromise the soundness of the logic. In our system the code that keeps track of the constants that have been defined thus far has been moved out of the kernel. This means that the kernel now is purely functional.
openaire +4 more sources
ABSTRACT This article contributes to nationalism studies by demonstrating how states use failure as a governance tool to regulate national belonging and by showing how people experience and reinterpret failure in ways that unsettle dominant national imaginaries.
Lena Hercberga, Alina Jašina‐Schäfer
wiley +1 more source
Exploring the Interaction between Statelessness, Legal Empowerment and Human Trafficking
There is a common claim and widely held perception that statelessness puts a person at greater risk of becoming a victim of human trafficking. The underlying logic is compelling: without any nationality, stateless people often face severe obstacles in ...
Laura van Waas +2 more
doaj +1 more source
Steps towards statelessness [PDF]
Hilary Stauffer is a Visiting Fellow at LSE’s Centre for the Study of Human Rights. She is an international lawyer with extensive experience working on projects in the U.S., Europe, Africa, and Asia. Her specialties include International Law, Rule of Law,
Stauffer, Hilary
core
Abstract The scarce political and social psychological research on the Kurdish–Turkish context primarily addresses intergroup relations and general perceptions of the conflict. Conversely, Kurds' experiences of and beliefs about collective victimization in this context have not been examined much to date.
Helin Ünal, Johanna Ray Vollhardt
wiley +1 more source
The Martyrdom of Nadezhda Kurchenko: Soviet Hero Cults and the Spiritual Turn in Late Socialism
Abstract This article argues that the spiritual turn in Soviet atheism under Brezhnev provided a meaningful solution to the problems of producing heroes when self‐sacrificing martyrs were losing their appeal. To support this claim, I examine the story of Nadezhda Kurchenko, a nineteen‐year‐old flight attendant killed by two hijackers on an Aeroflot ...
Steven E. Harris
wiley +1 more source
Fault Lines of Refugee Exclusion: Statelessness, Gender, and COVID-19 in South Asia [PDF]
Despite widespread recognition of the right to a nationality, statelessness and its attendant vulnerabilities continue to characterize the lives of millions in South Asia.
Roshni Chakraborty, Jacqueline Bhabha
doaj
Determinants of national health insurance enrolment among people at risk of statelessness in the Awutu Senya East Municipality and Gomoa East District of Ghana. [PDF]
Quartey T, Peprah C, Morgan AK.
europepmc +1 more source
Social Isolation of the Stateless and the Destitute: A Study on the Refugee-Camp and the Sullied Slum of Dhaka City [PDF]
Muhammad Rehan Masoom
openalex +1 more source
JUDICIAL PROTECTION OF FOREIGNERS AND STATELESS PERSONS
O. P. Svitlychnyу
openalex +2 more sources

