Results 261 to 270 of about 381,259 (297)
Some of the next articles are maybe not open access.
2012
SSReflect is a powerful language for proving theorems in the Coq system. It has been used for some of the largest proofs in formal mathematics thus far. However, although it constructs proofs in a formal system, like most other proof languages the semantics is informal making it difficult to reason about such proof scripts.
Iain Whiteside +2 more
openaire +1 more source
SSReflect is a powerful language for proving theorems in the Coq system. It has been used for some of the largest proofs in formal mathematics thus far. However, although it constructs proofs in a formal system, like most other proof languages the semantics is informal making it difficult to reason about such proof scripts.
Iain Whiteside +2 more
openaire +1 more source
1963
The Essence of Ground (1929) is one of the hardest diamonds in all of Heidegger’s ample treasury.1 Appearing two years after SZ, it offers, together with WM, the first public explicitations of the major work. That Heidegger chose to publish a meditation on what constitutes the essence of ground should not surprise us. In KM, we saw how, faithful to the
openaire +1 more source
The Essence of Ground (1929) is one of the hardest diamonds in all of Heidegger’s ample treasury.1 Appearing two years after SZ, it offers, together with WM, the first public explicitations of the major work. That Heidegger chose to publish a meditation on what constitutes the essence of ground should not surprise us. In KM, we saw how, faithful to the
openaire +1 more source
Monist, 1995
L'A. etudie le debat contemporain en philosophie politique qui oppose les partisans liberaux d'une conception essentialiste, aristotelicienne, du marche a leurs detracteurs socialistes, post-marxistes et anti ...
openaire +2 more sources
L'A. etudie le debat contemporain en philosophie politique qui oppose les partisans liberaux d'une conception essentialiste, aristotelicienne, du marche a leurs detracteurs socialistes, post-marxistes et anti ...
openaire +2 more sources
2006
This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual role as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of ...
openaire +1 more source
This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual role as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of ...
openaire +1 more source
2014
Ruby is a dynamic, object-oriented language with advanced features such as yield operator and dynamic class manipulation. They make Ruby a popular, highly productive scripting language, but they also make the semantics of Ruby complicated and difficult to understand. Even the JIS/ISO standard of Ruby seems to contain some ambiguities.
Katsuhiro Ueno +3 more
openaire +1 more source
Ruby is a dynamic, object-oriented language with advanced features such as yield operator and dynamic class manipulation. They make Ruby a popular, highly productive scripting language, but they also make the semantics of Ruby complicated and difficult to understand. Even the JIS/ISO standard of Ruby seems to contain some ambiguities.
Katsuhiro Ueno +3 more
openaire +1 more source
International Journal of Jungian Studies, 2018
Jung’s notion of the archetype remains an equivocal concept, so much so that Jungians and post-Jungians have failed to agree on its essential nature. In this essay, I wish to argue that an archetype may be understood as an unconscious schema that is self-constitutive and emerges into consciousness from its own a priori ground, hence an autonomous self ...
openaire +1 more source
Jung’s notion of the archetype remains an equivocal concept, so much so that Jungians and post-Jungians have failed to agree on its essential nature. In this essay, I wish to argue that an archetype may be understood as an unconscious schema that is self-constitutive and emerges into consciousness from its own a priori ground, hence an autonomous self ...
openaire +1 more source
Nursing Standard, 1999
In the first of two articles, Alison Kitson outlines the fundamental elements of nursing, and how they should be protected and communicated. She argues that having the ability to care for the patient as a whole person is the essence of good nursing practice, in which a range of environmental and organisational conditions prevail, and over which the ...
openaire +2 more sources
In the first of two articles, Alison Kitson outlines the fundamental elements of nursing, and how they should be protected and communicated. She argues that having the ability to care for the patient as a whole person is the essence of good nursing practice, in which a range of environmental and organisational conditions prevail, and over which the ...
openaire +2 more sources
1994
Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth's language Oberon as the simple imperative language combined with procedure types and record extension.
openaire +1 more source
Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth's language Oberon as the simple imperative language combined with procedure types and record extension.
openaire +1 more source