Results 21 to 30 of about 4,502 (218)
Electronic Proceedings in Theoretical Computer Science, 2011 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
Statelessness and the Feminist Toolbox: Another Man-Made Problem with a Feminist Solution?
Tilburg Law Review, 2019 At its goal, a feminist analysis of statelessness solutions would mean the rethinking and revision of patriarchal structures and principles which create and perpetuate statelessness and add further subjugation to women and minorities affected by ...
Deirdre Brennan
doaj +1 more source
Legal analysis of status of women’s nationality and statelessness In point of view human rights [PDF]
مطالعات زن و خانواده, 2017 The international human rights law on nationality and statelessness has developed through the adoption of a number of international and regional instruments during the twentieth century.
latifeh hosseini
doaj +1 more source
Tilburg Law Review, 2014 With increased efforts to address the problem of statelessness globally, there is still a fundamental deficiency in information regarding the substantial violations of right caused by statelessness and its consequences.
Zahra Albarazi
doaj +1 more source
Questioning de facto Statelessness: By Looking at de facto Citizenship
Tilburg Law Review, 2014 This article challenges the concept of 'de facto' (by fact) statelessness, often conceptualised as ineffective citizenship, from being included within the statelessness discourse.
Jason Tucker
doaj +1 more source
Exploring Childhood Statelessness in South Africa
Potchefstroom Electronic Law Journal, 2020 The United Nations High Commissioner for Refugees set a 10-year timeline in 2014 to prevent childhood statelessness and believes this is possible if the following four steps are taken.
Fatima Khan
doaj +1 more source
, 2021 This chapter critically engages with a central policy norm developed by key international actors working on statelessness and refugeeness over the last three decades. This is the norm that for stateless refugees their refugeeness effectively trumps their statelessness.
openaire +2 more sources
Stateless Distributed Ledgers [PDF]
, 2021 In public distributed ledger technologies (DLTs), such as Blockchains, nodes can join and leave the network at any time. A major challenge occurs when a new node joining the network wants to retrieve the current state of the ledger. Indeed, that node may receive conflicting information from honest and Byzantine nodes, making it difficult to identify ...
François Bonnet +2 more
openaire +2 more sources
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017 We present and explore a model of stateless and self-stabilizing distributed computation, inspired by real-world applications such as routing on today's Internet. Processors in our model do not have an internal state, but rather interact by repeatedly mapping incoming messages ("labels") to outgoing messages and output values.
Adva Zair +4 more
openaire +3 more sources
Statelessness in the European Union: The Case of Cuban Migrants
Tilburg Law Review, 2014 Statelessness affects 12 million people around the world, including within the European Union. On the international level, the 1954 United Nations Convention relating to the Status of Stateless Persons and the 1961 United Nations Convention on the ...
Giulia Bittoni
doaj +1 more source