Results for 'Christophe Imbert'

972 found
Order:
  1. Imperium Romanum : grammaire d'un language mythique.Christophe Imbert - 2018 - In Wouter Bracke, Jan Nelis & Jan De Maeyer (eds.), Renovatio, inventio, absentia imperii: from the Roman Empire to contemporary imperialism. Bruxelles: Academia Belgica.
     
    Export citation  
     
    Bookmark  
  2.  25
    How Neurophysiological Measures Can be Used to Enhance the Evaluation of Remote Tower Solutions.Pietro Aricò, Maxime Reynal, Gianluca Di Flumeri, Gianluca Borghini, Nicolina Sciaraffa, Jean-Paul Imbert, Christophe Hurter, Michela Terenzi, Ana Ferreira, Simone Pozzi, Viviana Betti, Matteo Marucci, Alexandru C. Telea & Fabio Babiloni - 2019 - Frontiers in Human Neuroscience 13.
  3.  60
    Experiencing Values in the Flow of Events: A Phenomenological Approach to Relational Values.Christophe Gilliand - 2021 - Environmental Values 30 (6):715-736.
    This paper explores the notion of ‘relational values’ from a phenomenological point of view. In the first place, it stresses that in order to make full sense of relational values, we need to approach them through a relational ontology that surpasses dualistic descriptions of the world structured around the subject and the object. With this aim, the paper turns to ecophenomenology's attempt to apprehend values from a first-person perspective embedded in the lifeworld, where our entanglement with other beings is not (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  94
    Eight journals over eight decades: a computational topic-modeling approach to contemporary philosophy of science.Christophe Malaterre, Francis Lareau, Davide Pulizzotto & Jonathan St-Onge - 2020 - Synthese 199 (1-2):2883-2923.
    As a discipline of its own, the philosophy of science can be traced back to the founding of its academic journals, some of which go back to the first half of the twentieth century. While the discipline has been the object of many historical studies, notably focusing on specific schools or major figures of the field, little work has focused on the journals themselves. Here, we investigate contemporary philosophy of science by means of computational text-mining approaches: we apply topic-modeling algorithms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Toujours célèbre, souvent méconnu.Christophe Blanquie - 2007 - Corpus: Revue de philosophie 52:35-53.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  18
    Une réalité sans nom : l’impardon.Christophe Perrin - 2017 - Revue Philosophique de la France Et de l'Etranger 142 (2):159.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  19
    Adaptive accuracy and adaptive landscapes.Christophe Pélabon, W. Scott Armbruster, Thomas F. Hansen, Geir H. Bolstad & Rocío Pérez-Barrales - 2012 - In Erik Svensson & Ryan Calsbeek (eds.), The Adaptive Landscape in Evolutionary Biology. Oxford University Press.
  8. Organicism and reductionism in cancer research: Towards a systemic approach.Christophe Malaterre - 2007 - International Studies in the Philosophy of Science 21 (1):57 – 73.
    In recent cancer research, strong and apparently conflicting epistemological stances have been advocated by different research teams in a mist of an ever-growing body of knowledge ignited by ever-more perplexing and non-conclusive experimental facts: in the past few years, an 'organicist' approach investigating cancer development at the tissue level has challenged the established and so-called 'reductionist' approach focusing on disentangling the genetic and molecular circuitry of carcinogenesis. This article reviews the ways in which 'organicism' and 'reductionism' are used and opposed (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9.  66
    How vestibular stimulation interacts with illusory hand ownership.Christophe Lopez, Bigna Lenggenhager & Olaf Blanke - 2010 - Consciousness and Cognition 19 (1):33-47.
    Artificial stimulation of the peripheral vestibular system has been shown to improve ownership of body parts in neurological patients, suggesting vestibular contributions to bodily self-consciousness. Here, we investigated whether galvanic vestibular stimulation interferes with the mechanisms underlying ownership, touch, and the localization of one’s own hand in healthy participants by using the “rubber hand illusion” paradigm. Our results show that left anodal GVS increases illusory ownership of the fake hand and illusory location of touch. We propose that these changes are (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  88
    Revisiting three decades of Biology and Philosophy: a computational topic-modeling perspective.Christophe Malaterre, Davide Pulizzotto & Francis Lareau - 2019 - Biology and Philosophy 35 (1):5.
    Though only established as a discipline since the 1970s, philosophy of biology has already triggered investigations about its own history The Oxford handbook of philosophy of biology, Oxford University Press, New York, pp 11–33, 2008). When it comes to assessing the road since travelled—the research questions that have been pursued—manuals and ontologies also offer specific viewpoints, highlighting dedicated domains of inquiry and select work. In this article, we propose to approach the history of the philosophy of biology with a complementary (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  11.  46
    Symbolic and nonsymbolic number comparison in children with and without dyscalculia.Christophe Mussolin, Sandrine Mejias & Marie-Pascale Noël - 2010 - Cognition 115 (1):10-25.
    Developmental dyscalculia (DD) is a pervasive difficulty affecting number processing and arithmetic. It is encountered in around 6% of school-aged children. While previous studies have mainly focused on general cognitive functions, the present paper aims to further investigate the hypothesis of a specific numerical deficit in dyscalculia. The performance of 10- and 11-year-old children with DD characterised by a weakness in arithmetic facts retrieval and age-matched control children was compared on various number comparison tasks. Participants were asked to compare a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  12. Can synthetic biology shed light on the origin of life?Christophe Malaterre - 2009 - Biological Theory 4 (4):357-367.
    It is a most commonly accepted hypothesis that life originated from inanimate matter, somehow being a synthetic product of organic aggregates, and as such, a result of some sort of prebiotic synthetic biology. In the past decades, the newly formed scientific discipline of synthetic biology has set ambitious goals by pursuing the complete design and production of genetic circuits, entire genomes or even whole organisms. In this paper, I argue that synthetic biology might also shed some novel and interesting perspectives (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Decadentie of doemdenken?Christophe Andrades - forthcoming - Krisis.
     
    Export citation  
     
    Bookmark  
  14.  12
    Étienne-Gabriel Morelly: Essai sur l’esprit humain ; Essai sur le coeur humain.Christophe Losfeld - 2016 - In Jörn Steigerwald & Rudolf Behrens (eds.), Aufklärung Und Imagination in Frankreich : Anthologie Und Analyse. De Gruyter. pp. 112-132.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Le Traité de dynamique de D'Alembert et son contexte académique (1735-1743).Christophe Schmit - 2023 - In Jean-Pierre Schandeler (ed.), D'Alembert: itinéraires d'un savant du siècle. Paris: Classiques Garnier.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  79
    Weyl’s Philosophy of Physics: From Apriorism to Holism (1918-1927).Christophe Eckes - 2018 - Philosophia Scientiae 22:163-184.
    Dans cet article, j’entends décrire comment évolue la philosophie de la physique de Weyl au cours de la période 1918-1927. Je rappellerai en particulier qu’il développe différentes formes d’« apriorisme» entre 1918 et 1923: un apriorisme « spéculatif» avec sa théorie unifiée des champs (1918-1921), puis une conception des connaissances a priori largement inspirée de la Wesensanalyse de Husserl dans ses travaux sur le problème de l’espace (1921-1923). Je montrerai par ailleurs que le holisme de Weyl, i.e., la thèse selon (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  26
    La subjectivation des liens familiaux dans le cadre de l’injonction de soins : l’apport du génogramme.Christophe Chevalier - 2016 - Dialogue: Families & Couples 1 (1):55-68.
    Dans cet article l’auteur a souhaité étudier le travail de subjectivation des liens familiaux chez un auteur de violence sexuelle dans le cadre du dispositif pénal qu’est l’injonction de soins. À partir d’une recherche clinique menée sur un mode longitudinal, il propose de montrer comment le génogramme (en test, re-test) peut être un révélateur de la mise en œuvre du processus de subjectivation. Ce procédé permet de relever deux différences notables entre les deux génogrammes : dans le passage d’une place (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  48
    Atomism in late medieval philosophy and theology.Christophe Grellard & Aurâelien Robert (eds.) - 2009 - Boston: Brill.
    DMet 10: Prime matter is the origin of all quantities. Hence it is the origin of every dimension of continuous quantity whatever. ...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19. (1 other version)Scepticism, demonstration and the infinite regress argument (nicholas of autrecourt and John buridan).Christophe Grellard - 2007 - Vivarium 45 (s 2-3):328-342.
    The aim of this paper is to examine the medieval posterity of the Aristotelian and Pyrrhonian treatments of the infinite regress argument. We show that there are some possible Pyrrhonian elements in Autrecourt's epistemology when he argues that the truth of our principles is merely hypothetical. By contrast, Buridan's criticisms of Autrecourt rely heavily on Aristotelian material. Both exemplify a use of scepticism.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Between Greek and Latin : Eriugena on logic.Christophe Erismann - 2020 - In Adrian Guiu (ed.), A companion to John Scottus Eriugena. Boston: Brill.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  21.  19
    The Return of Work in Critical Theory: Self, Society, Politics.Christophe Dejours, Jean-Philippe Deranty, Emmanuel Renault & Nicholas H. Smith - 2018 - New York, USA: Columbia University Press.
    From John Maynard Keynes’s prediction of a fifteen-hour workweek to present-day speculation about automation, we have not stopped forecasting the end of work. Critical theory and political philosophy have turned their attention away from the workplace to focus on other realms of domination and emancipation. But far from coming to an end, work continues to occupy a central place in our lives. This is not only because of the amount of time people spend on the job. Many of our deepest (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  23
    La vaporisation du corps amoureux dans Le Sylphe de Crébillon fils.Christophe Cosker - 2013 - Nouvelle Revue d'Esthétique 10 (2):71-82.
    Résumé Considéré comme un auteur érotique, Crébillon fils ne met pourtant pas en scène des corps charnels dont il décrit les ébats. Bien au contraire, il s’intéresse à des corps amoureux plus intéressants, comme en témoigne son premier texte intitulé Le Sylphe. Ce texte liminaire met en scène un corps doublement subtil en ce qu’il est aérien et en ce qu’il se dérobe aux ébats. Le corps amoureux chez Crébillon fils est donc un corps sensuel et sensible qui se dérobe (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    Compléments de Substance (Études sur les Propriétés Accidentelles offertes à Alain de Libera).Christophe Erismann & Alexandrine Schniewind (eds.) - 2008 - Librairie Philosophique Vrin.
    A l'occasion du soixantieme anniversaire d'Alain de Libera, une trentaine de collegues de France et de l'etranger ont souhaite, par une serie d'etudes d'histoire de la philosophie et de metaphysique, saluer son oeuvre scientifique et lui offrir un temoignage d'amitie. L'histoire de la metaphysique etant l'un des points cardinaux du travail philosophique d'Alain de Libera, a qui l'on doit notamment de magistraux ouvrages sur les universaux, il a semble judicieux d'etudier ces entites mineures mais neanmoins indispensables qui viennent completer la (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  28
    Philosophie et théologie à Paris (1400-1530).Christophe Erismann - 2001 - Quaestio 1 (1):502-506.
  25.  5
    Étude sur la chronologie des archontats de Damasias à Athènes et de la première guerre sacrée à Delphes.Christophe Flament - 2017 - Bulletin de Correspondance Hellénique 141:117-139.
    Les sources proposent deux dates concurrentes pour l’archontat de Damasias : 582/1 et 580/79. Cette étude tente premièrement d’établir que ces propositions sont toutes deux correctes. En effet, le nom de Damasias devait figurer sur la liste des archontes pour les trois années durant lesquelles il exerça cette charge, et non uniquement pour la première. La seconde partie de l’étude propose une interprétation nouvelle des intervalles de temps qui, dans le chapitre XIII de la Constitution d’Athènes, scandent la période séparant (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    Nicholas of autrecourt's skepticism: The ambivalence of medieval epistemology.Christophe Grellard - 2010 - In Henrik Lagerlund (ed.), Rethinking the history of skepticism: the missing medieval background. Boston: Brill. pp. 103--119.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  24
    Être parent avec et sans l'autre. Les exigences paradoxales de notre société contemporaine.Christophe Janssen - 2013 - Dialogue: Families & Couples 199 (1):97-106.
    À partir de deux vignettes a priori sans rapport, l’auteur se propose de réfléchir aux effets des transformations sociales sur le rapport que les individus entretiennent avec la parentalité. Revendication d’autonomie, création et utilisation d’un réseau « coparental » autour de l’enfant ; il sera question de mesurer l’intérêt dans un cadre clinique de porter attention aux modalités de rencontre, ou de non-rencontre, entre la créativité des parents et leur environnement. L’auteur en arrivera à paraphraser D.W. Winnicott en proclamant qu’« (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  11
    Déliaisons expérimentales : autour de quelques expériences fictives de désocialisation au XVIIIe siècle.Christophe Martin - 2020 - Astérion 22 (22).
    If the idea of isolating new beings, meticulously removed from the usual processes of education and socialization, is not an invention of the Age of Enlightenment, such fictitious experiences (whether they are thought experiments, experimental projects, or literary fictions of infantile isolation) multiplied in the 18th century. The experimental dissolution of the social link in fiction most often aims at demonstrating the naturality of this link and its necessity in the development of the enlightenment of reason. This paper intends to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  20
    L’idée D’Université à L’heure des Démocraties Modernes : Quel Projet?Christophe Point - 2019 - Danish Yearbook of Philosophy 52 (1):82-103.
    With this proposal, we wish to revisit the Idea of the University in the perspective of the democratic project of the American philosopher and pragmatist John Dewey. Our hypothesis consists in the thesis that the deweyen project confronts the problem of the social distribution of knowledge, in the aim of giving us the means to transform the latter. In this way, if we consider that the university is part of this distribution through its student learning function, then our purpose is (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    Mouans-Sartoux.Christophe Sempels, Holy Andrianantenaina, Rola Adra & Coline De Georges - 2013 - Multitudes 52 (1):80.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  12
    J. P. Sartre: Condemned To Be Free.Christophe Perrin - 2011 - Filozofia 66 (3):209-221.
    Condemned to exist beyond his essence, since he is only what he does and can always become what he is not or not to be what he is any more, man is, for Sartre, condemned to freedom without condition which constitutes, not his nature, but his condition. Free of anything apart from not being free, since he chooses neither to be, nor the necessity to choose the being that he must make himself be, man, however, is always already determined by (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  71
    Towards a transdisciplinary econophysics.Christophe Schinckus & Franck Jovanovic - 2013 - Journal of Economic Methodology 20 (2):164-183.
  33. Editorial: Folk Epistemology. The Cognitive Bases of Epistemic Evaluation.Christophe Heintz & Dario Taraborelli - 2010 - Review of Philosophy and Psychology 1 (4):477-482.
    Editorial: Folk Epistemology. The Cognitive Bases of Epistemic Evaluation Content Type Journal Article Pages 477-482 DOI 10.1007/s13164-010-0046-8 Authors Christophe Heintz, Department of Cognitive Science, Central European University, Budapest, Hungary Dario Taraborelli, Centre for Research in Social Simulation, Department of Sociology, University of Surrey, Guildford, UK Journal Review of Philosophy and Psychology Online ISSN 1878-5166 Print ISSN 1878-5158 Journal Volume Volume 1 Journal Issue Volume 1, Number 4.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  52
    De grenzen van het denken van Nussbaum.Christophe Andrades - 2007 - Krisis 8 (2):82-88.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    Ectopeptidases in pathophysiology.Christophe Antczak, Ingrid De Meester & Brigitte Bauvois - 2001 - Bioessays 23 (3):251-260.
    Ectopeptidases are transmembrane proteins present in a wide variety of tissues and cell types. Dysregulated expression of certain ectopeptidases in human malignancies suggests their value as clinical markers. Ectopeptidase interaction with agonistic antibodies or their inhibitors has revealed that these ectoenzymes are able to modulate bioactive peptide responses and to influence growth, apoptosis and differentiation, as well as adhesion and motility, all functions involved in normal and tumoral processes. There is evidence that ectopeptidase-mediated signal transduction frequently involves tyrosine phosphorylation. Combined (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  51
    John Stuart Mill et le paternalisme libéral.Christophe Béal - 2012 - Archives de Philosophie 75 (2):279-290.
    Résumé On attribue souvent à John Stuart Mill une théorie de la liberté fondée sur un principe de non-nuisance qui conduirait à une critique radicale du paternalisme politique et juridique. Cependant, en analysant de plus près la portée de ce principe ainsi que son mode de justification, il est possible d’en donner une interprétation qui soit compatible avec certaines formes de paternalisme. On peut ainsi considérer De la liberté comme une des sources du paternalisme libéral et plus précisément d’un paternalisme (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Iv. judaïsme.Christophe Batsch - 2006 - Revue D'Histoire Et de Philosophie Religieuses 86 (3-4):397.
     
    Export citation  
     
    Bookmark  
  38.  17
    Nietzsches Tragödie des Dionysos.Christophe Bourquin - 2008 - Deutsche Vierteljahrsschrift für Literaturwissenschaft Und Geistesgeschichte 82 (4):598-630.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  26
    Préface.Christophe Bouriau - 2008 - Philosophia Scientiae 12 (2):1-6.
    À une époque d'ultra normalisation des comportements, que ce soit dans le domaine de la médecine, de l'entreprise ou de l'éducation (de la maternelle à l'IUFM), il nous a semblé utile de questionner la notion de norme en la rattachant au thème transversal de la santé, qui intéresse toutes les disciplines et permet d'explorer la problématique des normes (la question de leur origine et de leur valeur) sous des angles variés et complémentaires. Le terme de norme est abordé ici dans (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  24
    Résister au mal. Cultures et théologie face au problème du mal.Christophe Boureux - 2003 - Recherches de Science Religieuse 1 (1):75-79.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  32
    Schopenhauer face à la chose en soi.Christophe Bouriau - 2002 - Archives de Philosophie 3 (3):503-518.
    Cet article discute la thèse de Bergson suivant laquelle toute philosophie consiste en l’explicitation d’une intuition première. A travers l’exemple de Schopenhauer, il s’attache à montrer que le point de départ d’une philosophie n’est pas une intuition, mais un problème que le philosophe s’efforce de résoudre par une « création » de concepts.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42. Calvin and Schleiermacher : against speculation.Christophe Chalamet - 2008 - In Hermann Patsch, Hans Dierkes, Terrence N. Tice & Wolfgang Virmond (eds.), Schleiermacher, romanticism, and the critical arts: a festschrift in honor of Hermann Patsch. Lewiston, NY: Edwin Mellen Press.
     
    Export citation  
     
    Bookmark  
  43.  14
    L’Autre en vitrine : muséographier l’exotique.Christophe Roustan Delatour - 2011 - Noesis 18:279-291.
    « Car celui qui regarde, dans ce drame, est aussi celui qui détruit. » J.-M. G. Le Clézio, Le rêve mexicain « Le barbare, c’est d’abord celui qui croit à la barbarie. »C. Lévi-Strauss, Race et histoire « Là où dialoguent les cultures. »Slogan du Musée du quai Branly Introduction Durant plus de quatre siècles, l’altérité radicale s’est incarnée en Occident dans la figure du barbare « exotique », issu de mondes lointains et méconnus. Notre rapport à cet Autre absolu (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    The medieval fortunes of the Opuscula Sacra.Christophe Erismann - 2009 - In John Marenbon (ed.), The Cambridge Companion to Boethius. New York: Cambridge University Press. pp. 155.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  8
    Michael Rosenberg, Signs of Virginity: testing virgins and making men in late.Christophe Lemardelé - 2020 - Clio 52.
    Dès la première phrase de son introduction, l’auteur précise l’objet de son étude qui n’est pas la virginité féminine en elle-même mais la domination masculine que la question de la virginité est à même de révéler : « this book is about cultural constructions of men’s sexuality as ideally aggressive » (p. 1). Il entreprend d’étudier pensée rabbinique et pensée chrétienne qui ont pu s’appuyer sur le passage biblique de Deutéronome 22 :13-21, texte ayant statué sur la nécessaire virginité des (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Heidegger et l'histoire du On.Christophe Perrin - 2008 - Bulletin d'Analyse Phénoménologique.
    Loin d’être circonscrit à Sein und Zeit , dont il est un motif central de l’analytique existentiale, le On heideggérien — das Man — n’est ni une notion ordinaire, ni un hapax arbitraire. Comme tout concept philosophique, il possède une histoire que son auteur ne cesse d’ailleurs d’écrire avant la publication de son œuvre majeure. S’y employant dès 1922, dans le cadre de l’herméneutique de la vie facticielle, il s’en détache pourtant en 1927 pour, de fait, y renoncer définitivement. Animé (...)
     
    Export citation  
     
    Bookmark   1 citation  
  47.  18
    Sur l'anticartésianisme prétendu de Heidegger : le sens d'(une) Auseinandersetzung.Christophe Perrin - 2010 - Daimon: Revista Internacional de Filosofía 51:137-149.
    Réservant à la pensée de Descartes un traitement plus réservé que l’étude qu’il peut mener de ses autres grands devanciers, Heidegger, à en croire certains commentateurs, dissimulerait mal envers le penseur français son inimitié, celle-ci le prémunissant sans doute du danger de ne pouvoir se relever d’un « cartésianisme inné », dont il fait le reproche aux philosophes. C’est pourtant contre ce préjugé qu’il s’agit ici de lutter en désamorçant, à travers l’éclaircissement de la notion d’ Auseinandersetzung , cet apparent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  29
    An Exploration of the Notion of Objectivity in Hans Urs von Balthasar.Christophe Potworowski - 1996 - Renascence 48 (2):137-151.
  49.  23
    A semantical storage operator theorem for all types.Christophe Raffalli - 1998 - Annals of Pure and Applied Logic 91 (1):17-31.
    Storage operators are λ-terms which simulate call-by-value in call-by-name for a given set of terms. Krivine's storage operator theorem shows that any term of type ¬D → ¬D*, where D* is the Gödel translation of D, is a storage operator for the terms of type D when D is a data-type or a formula with only positive second order quantifiers. We prove that a new semantical version of Krivine's theorem is valid for every types. This also gives a simpler proof (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  8
    La question de la vérité.Christophe Rouard - 2012 - Nouvelle Revue Théologique 134 (3):441-452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 972