Results 11 to 20 of about 286,705 (254)
Gandhi’s Militant Nonviolence in the Light of Girard’s Mimetic Anthropology
Religions, 2021 Nuclear rivalry, as well as terrorism and the war against terror, exemplify the dangerous escalation of violence that is threatening our world. Gandhi’s militant nonviolence offers a possible alternative that avoids a complacent indifference toward ...
Wolfgang Palaver
doaj +1 more source
Scientia et Fides, 2019 Después de que Friedrich Nietzsche expusiera el fenómeno del resentimiento mediante un supuesto desenmascaramiento de un complejo emotivo oculto, autores posteriores, como Max Scheler y René Girard, matizaron el análisis nietzscheano aplicándolo a ...
Miguel Ángel Belmonte
doaj +1 more source
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact) [PDF]
, 2017 This artifact provides the fully mechanized proof of strong normalization for D_{
Rompf, Tiark, Wang, Fei
core +1 more source
Taylor expansion for Call-By-Push-Value [PDF]
, 2020 The connection between the Call-By-Push-Value lambda-calculus introduced by Levy and Linear Logic introduced by Girard has been widely explored through a denotational view reflecting the precise ruling of resources in this language.
Chouquet, Jules, Tasson, Christine
core +3 more sources
Aesthetic Surgery Journal Open Forum, 2022 BackgroundIn 2014, the Plastic Surgery Residency Review Committee of the Accreditation Council for Graduate Medical Education (ACGME) increased minimum aesthetic surgery requirements.
Ainsley L Taylor +11 more
doaj +1 more source
Termination of rewrite relations on $\lambda$-terms based on Girard's notion of reducibility [PDF]
, 2015 In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on $\lambda$-terms,
Blanqui, Frédéric
core +4 more sources
AIP Advances, 2017 Nanotubes are synthesized almost entirely by metal-catalyst-free and metal-catalyst-mediated non-eutectic mechanism(s). An investigation has been carried out to understand the basics of this mechanism.
S. Noor Mohammad
doaj +1 more source
Antropología de la violencia: René Girard / Anthropology of violence: René Girard
Bajo Palabra, 2017 La obra de René Girard ofrece una teoría antropológica cuyo tema central es la violencia como origen de la sociedad humana. Tres son sus elementos principales: una teoría mimética del deseo; el mecanismo del chivo expiatorio; la revelación cristiana.
Juan Alberto Sucasas Peón
doaj +1 more source
Jihadism: What is a Terror Apparatus? Interview with Jacob Rogozinski [PDF]
, 2017 In the present interview, Jacob Rogozinski elucidates the main concepts and theses he developed in his latest book dedicated to the issue of modern jihadism.
Rogozinski, Jacob, Wilmes, Andreas
core +1 more source