Results for 'Christophe Dikenou'

964 found
Order:
  1.  83
    Assisting Countries in Establishing National Bioethics Committees: UNESCO’s Assisting Bioethics Committees Project.Henk ten Have, Christophe Dikenou & Dafna Feinholz - 2011 - Cambridge Quarterly of Healthcare Ethics 20 (3):380-388.
  2. 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  
  3.  7
    "Écologie et révolution", pacifier l'existence: André Gorz-Herbert Marcuse, un dialogue critique.Christophe Fourel - 2022 - Paris: Les Petits Matins. Edited by Clara Ruault.
  4.  56
    Expression unleashed: The evolutionary and cognitive foundations of human communication.Christophe Heintz & Thom Scott-Phillips - 2023 - Behavioral and Brain Sciences 46:e1.
    Human expression is open-ended, versatile, and diverse, ranging from ordinary language use to painting, from exaggerated displays of affection to micro-movements that aid coordination. Here we present and defend the claim that this expressive diversity is united by an interrelated suite of cognitive capacities, the evolved functions of which are the expression and recognition of informative intentions. We describe how evolutionary dynamics normally leash communication to narrow domains of statistical mutual benefit, and how expression is unleashed in humans. The relevant (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  27
    The Co-evolution of Honesty and Strategic Vigilance.Christophe Heintz, Mia Karabegovic & Andras Molnar - 2016 - Frontiers in Psychology 7:186680.
    We hypothesize that when honesty is not motivated by selfish goals, it reveals social preferences that have evolved for convincing strategically vigilant partners that one is a person worth cooperating with. In particular, we explain how the patterns of dishonest behavior observed in recent experiments can be motivated by preferences for social and self-esteem. These preferences have evolved because they are adaptive in an environment where it is advantageous to be selected as a partner by others and where these others (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  9
    Jean de Salisbury, nouvelles lectures, nouveaux enjeux.Christophe Grellard & Frédérique Lachaud (eds.) - 2018 - Firenze: SISMEL · Edizioni del Galluzzo.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  25
    Une politique de la reprise : Jeremy Deller.Christophe Kihm - 2007 - Multitudes 5:245-250.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    La Cité et le marché.Christophe Pébarthe - 2006 - Revue de Synthèse 127 (2):453-460.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    Lindos, l'Hellénion et Naucratis. Réflexions sur l'administration de l'emporion.Christophe Pébarthe - 2005 - Topoi 12 (1):157-181.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Quine.Christophe Hookway, Jacques Colson & Paul Gochet - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (1):120-121.
     
    Export citation  
     
    Bookmark   19 citations  
  11.  25
    Saharan Recreation: From a Transformation of Bodily Experiences to a Transformation of Cultural Representations.Christophe Gibout - 2020 - Sport, Ethics and Philosophy 16 (2):1-14.
    If the desert was long perceived as a hostile and inhospitable territory, it was gradually conquered during the 20th century by the practice of sports and leisure activities. The aim of this articl...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  23
    What's the Use of Conflict in Dewey? Toward a Pedagogy of Compromise.Christophe Point - 2018 - Education and Culture 34 (2):69.
    The reception of Dewey's work has suffered, in terms of his political philosophy, from a certain mistrust. First, in the field of education, Dewey's refusal to grant "ultimate" or "high" status to certain values, even those of the French Republic, has made him a mistrusted figure.1 Apart from the pedagogues of Education Nouvelle, which defied the then dominant "Cartesian tradition of the dualistic philosophy of reason" in France, Dewey was little studied before the 1960s. In 2013, Kambouchner perceived an opposition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Decadentie of doemdenken?Christophe Andrades - forthcoming - Krisis.
     
    Export citation  
     
    Bookmark  
  14.  26
    Entretien avec MARGAUX COQUET sur l’abolition du système pénal.Christophe Béal & Luigi Delia - 2018 - Rue Descartes 93 (1):102-119.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Alain Testart : An Evolutionist in the Land of the Anthropologists.Christophe Darmangeat - 2016 - Historical Materialism 24 (1):71-89.
    Alain Testart was one of the major social anthropologists of his time. He left behind a considerable and original body of work dealing with social structures and their evolution which afforded keys to the reinterpretation of archaeological material. A one-time self-professed Marxist, he had abandoned this theoretical framework many years ago. Nevertheless, since they tackle questions that are crucial to those who want to understand the past in order to change the present, his writings are a precious source of information (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  11
    Two unpublished letters of David Ricardo to Thomas Smith of Easton Grey.Christophe Depoortère - 2020 - History of European Ideas 46 (3):292-297.
    ABSTRACTThis paper introduces and transcripts two hitherto unpublished letters by the political economist David Ricardo to his neighbour and intimate friend Thomas Smith of Easton Grey. In these letters dated 11 December 1819 and 12 February 1821, Ricardo mentioned the third edition of his Principles of Political Economy and Taxation, as well as his notes on the first edition of Malthus’s Principles of Political Economy Considered with a View to their Applications. Ricardo referred also to several contemporary debates in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Un trésor monétaire ‘‘tardif’’ (VIe ou XIIIe s.) découvert à Argos.Christophe Flament & Patrick Marchetti - 2011 - Bulletin de Correspondance Hellénique 135 (1):261-281.
    A “ late” (6th or 13th c.) coin hoard discovered at Argos This study is devoted to a monetary hoard uncovered during emergency excavations in Argos in 1998 by the IVth Ephorate of Nafplion. The bulk of this hoard consists of Byzantine coins, along side which are found examples attributed to the Vandals as well as earlier coins, some dating to the Hellenistic period. The presence of a half-follis of Justin II indicates that the hoard was deposited ca 575-580, when (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  17
    D’une voie sans issue par une voix sans éclat.Christophe Perrin - 2016 - Revue des Sciences Philosophiques Et Théologiques 100 (4):609.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Identifying the Default-Mode Component in Spatial IC Analyses of Patients with Disorders of Consciousness.Christophe Phillips & Rafael Malach - unknown
    Objectives: Recent fMRI studies have shown that it is possible to reliably identify the defaultmode network (DMN) in the absence of any task, by resting-state connectivity analyses in healthy volunteers. We here aimed to identify the DMN in the challenging patient population of disorders of consciousness encountered following coma. Experimental design: A spatial independent component analysis-based methodology permitted DMN assessment, decomposing connectivity in all its different sources either neuronal or artifactual. Three different selection criteria were introduced assessing anticorrelation-corrected connectivity with (...)
     
    Export citation  
     
    Bookmark  
  20. L’origine et les fondements de la question cartésienne chez Heidegger.Christophe Perrin - 2010 - Studia Phaenomenologica 10:333-357.
    Showing a very early interest in Descartes, after having first considered him as a Christian thinker in the perspective of a deconstruction of religious life, Heidegger soon regards him as the major obstacle to the phenomenological analyses he wants to develop, as part of the first ontological search he gave himself: that of a hermeneutics of facticity. Therefore, the latter immediately takes in his work the shape of a hermeneutics of the I think, therefore I am, its author being blamed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. 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  
  22.  47
    Comment peut-on se fier à l’expérience? Esquisse d’une typologie des réponses médiévales au problème sceptique.Christophe Grellard - 2004 - Quaestio 4 (1):113-136.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  51
    La place de la critique de Hume dans la formation du réalisme à Oxford dans la première moitié du XXe siècle : quelques aspects.Christophe Alsaleh - 2003 - Revue de Métaphysique et de Morale 2 (2):199-212.
    Depuis le début du XXe siècle jusqu’à la fin des années 1960, l’unité de la philosophie oxonienne est garantie par l’adhésion à une certaine forme de réalisme, « Oxford Realism », dont les deux principes sont la primauté de la connaissance sur la croyance et l’absolue indépendance de l’objet connu. On examinera l’histoire de la critique de Hume par le réalisme de l’école d’Oxford de Cook Wilson à Austin, en passant par Price.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. What is this thing called Philosophy of Science? A computational topic-modeling perspective, 1934–2015.Christophe Malaterre, Jean-François Chartier & Davide Pulizzotto - 2019 - Hopos: The Journal of the International Society for the History of Philosophy of Science 9 (2):215-249.
    What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key research topics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  25. L’autobiographie Dans Les Études Culturelles: Parler de soi a-t-il une valeur méthodologique?Christophe Genin - 2010 - Filozofski Vestnik.
    How could speaking of oneself be a methodological challenge in the humanities? The paper focuses on cultural studies as a new way of arguing about identity issues. Our thesis is that speaking of oneself entails neither a lack of objectivity nor an overflow of selfishness, but the requirement of self-reflexiveness. As an observer is not neutral but interacts with his field, he thus has to be a aware of his own background and explain it with fairness. So speaking of oneself (...)
    No categories
     
    Export citation  
     
    Bookmark  
  26.  73
    The ecological rationality of strategic cognition.Christophe Heintz - 2005 - Behavioral and Brain Sciences 28 (6):825-826.
    I argue that altruistic behavior and its variation across cultures may be caused by mental cognitive mechanisms that induce cooperative behavior in contract-like situations and adapt that behavior to the kinds of contracts that exist in one's socio-cultural environment. I thus present a cognitive alternative to Henrich et al.'s motivation-based account. Rather than behaving in ways that reveal preferences, subjects interpret the experiment in ways that cue their social heuristics. In order to distinguish the respective roles of preferences and cognitive (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  7
    Bemerkung zum Epinetron des Eretriameisters.Christophe W. Clairmont - 1962 - Bulletin de Correspondance Hellénique 86 (2):539-542.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. (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  
  29. Financial performance of socially responsible investing : what have we learned? A meta‐analysis.Christophe Revelli & Jean-Laurent Viviani - 2014 - Business Ethics: A European Review 24 (2):158-185.
    With a meta-analysis of 85 studies and 190 experiments, the authors test the relationship between socially responsible investing and financial performance to determine whether including corporate social responsibility and ethical concerns in portfolio management is more profitable than conventional investment policies. The study also analyses the influence of researcher methodologies with respect to several dimensions of SRI on the effects identified. The results indicate that the consideration of corporate social responsibility in stock market portfolios is neither a weakness nor a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  30.  21
    The Santa Fe Institute and Econophysics: A Possible Genealogy?Christophe Schinckus - 2021 - Foundations of Science 26 (4):925-945.
    For the last three decades, physicists have been moving beyond the boundaries of their discipline, using their methods to study various problems usually instigated by economists. This trend labeled ‘econophysics’ can be seen as a hybrid area of knowledge that exists between economics and physics. Econophysics did not spring from nowhere—the existing literature agrees that econophysics emerged in the 1990s and historical studies on the field mainly deal with what happened during that decade. This article aims at investigating what happened (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Shock of the Anthropocene.Christophe Bonneuil & Jean-Baptiste Fressoz - 2016
    No categories
     
    Export citation  
     
    Bookmark   31 citations  
  32. Subjectivity, work, and action.Christophe Dejours - 2006 - Critical Horizons 7 (1):45-62.
    This essay is intended to explore relations between work and subjectivity (that is, what concerns the individual subject: his or her suffering, pleasure, personal development, and so on). To this end, we shall draw on a body of theory and clinical practice that has been developing in France for some twenty years under the name of the `psychodynamics of work' and ask the three following questions. What is work? This question might seem trivial, but the clinical analysis of the relationship (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33.  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  
  34.  4
    Honneur et dignité dans le monde antique.Christophe Badel & Henri-Louis Fernoux (eds.) - 2023 - Rennes: Presses universitaires de Rennes.
    Si l'on peine à trouver chez les historiens une définition de la dignité car elle semble relever du domaine de la morale, voire du droit, l'honneur n'est devenu un concept que récemment. Pourtant ce sont deux notions qui font agir a priori les mêmes ressorts psychologiques, l'estime de soi et une forme d'orgueil. Les sciences sociales se sont emparées de la notion d'honneur et l'ont analysée au prisme des "sociétés méditerranéennes", lui donnant une définition anthropologique dont la compétition, l'obsession de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  10
    Hobbes, la coutume et la Common Law.Christophe Béal - 2020 - Noesis 34:29-42.
    The classic theory of Common Law is based on the idea of a law derived from immemorial customs that guide judges’ decisions and contribute to the continuity and stability of the legal order. Hobbes, in his criticism of Edward Coke, questions the legal principles that characterize the “spirit of Common Law”. In his view, it is authority and not use that makes the law. This Hobbesian criticism, which can be considered as one of the ­sources of positivist interpretation of customary (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  20
    Icônes.Christophe Jacquet - 2015 - Multitudes 57 (3):111-126.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  18
    Une guerre à couteaux tirés. Heidegger et le rationalisme.Christophe Perrin - 2013 - Les Etudes Philosophiques 106 (3):397.
    Opposant du rationalisme et opposé à son pendant, Heidegger n’a de cesse de penser la rationalité métaphysique pour nous prévenir du danger qu’elle contient et que manifeste le monde contemporain. Parce que nuancée – elle est contre une chose sans être pour son contraire – et limitée – elle prévient mais ne guérit rien –, sa position s’est heurtée aux caricatures et aux dénonciations. Aussi est-il quelque bonne raison à en proposer une défense par la bonne compréhension de sa plus (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38. The Effect of Clonidine Infusion on Distribution of Regional Cerebral Blood Flow in Volunteers.Christophe Phillips - unknown
    BACKGROUND: Through their action on the locus coeruleus, ␣ 2-adrenoceptor agonists induce rapidly reversible sedation while partially preserving cognitive brain functions. Our goal in this observational study was to map brain regions whose activity is modified by clonidine infusion so as to better understand its loci of action, especially in relation to sedation. METHODS: Six ASA I–II right-handed volunteers were recruited. Electroencephalogram (EEG) was monitored continuously. After a baseline H215O activation scan, clonidine infusion was started at a rate ranging from (...)
     
    Export citation  
     
    Bookmark  
  39.  21
    Le téléchargement au c?ur d'une révolution copernicienne.Christophe Pouthier - 2009 - Multitudes 39 (4):22.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    L'accélération de l'histoire: des Lumières à l'Anthropocène.Christophe Bouton - 2022 - Paris: Éditions du Seuil.
    Comme une locomotive lancée à toute allure qui aurait perdu son conducteur, l’histoire des sociétés occidentales se caractériserait, à partir du milieu du xviiie siècle, par une accélération exponentielle qui serait devenue hors de contrôle. On a là une vision de la modernité dont Hartmut Rosa est le représentant le plus connu et qui est aujourd’hui largement partagée.Durant ces dernières décennies, les effets destructeurs de l’activité humaine sur la planète ont augmenté à une vitesse spectaculaire. Mais une sorte d’inversion apparaît (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Beyond categorical definitions of life: a data-driven approach to assessing lifeness.Christophe Malaterre & Jean-François Chartier - 2019 - Synthese 198 (5):4543-4572.
    The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  21
    Do Leveraged Firms Underinvest in Corporate Social Responsibility? Evidence from Health and Safety Programs in U.S. Firms.Christophe Moussu & Steve Ohana - 2016 - Journal of Business Ethics 135 (4):715-729.
    The explosion of health-related costs in U.S. firms over more than a decade is a huge concern for managers. The initiation of Health and Safety programs at the firm level is an adequate Corporate Social Responsibility initiative to contain this evolution. However, in spite of their documented efficiency, firms underinvest in those programs. This appears as a puzzle for health economists. In this paper, we uncover a strong negative relation of financial leverage to the implementation of H&S programs. The negative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  63
    A limit on behavioral plasticity in speech perception.Christophe Pallier, Laura Bosch & Núria Sebastián-Gallés - 1997 - Cognition 64 (3):9-17.
  44.  28
    (1 other version)Considérations éthiques sur le temps dans 'Les Ages du monde' de Schelling.Christophe Bouton - 1997 - Revue Philosophique De Louvain 95 (4):639-672.
  45.  25
    Tout contre le capitalisme sémantique.Christophe Bruno - 2009 - Multitudes 36 (1):94.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46.  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  
  47.  19
    Un règlement délien.Christophe Feyel & Francis Prost - 1998 - Bulletin de Correspondance Hellénique 122 (2):455-468.
    L'article présente un raccord entre deux inscriptions déliennes. Ce raccord permet de reconstituer un règlement, dont le but est de veiller au bon fonctionnement du sanctuaire d'Apollon délien et de punir efficacement toute infraction éventuelle.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  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  
  49.  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  
  50.  24
    System ST toward a type system for extraction and proofs of programs.Christophe Raffalli - 2003 - Annals of Pure and Applied Logic 122 (1-3):107-130.
    We introduce a new type system called “System ST” , based on subtyping, and prove the basic property of the system. We show the extraordinary expressive power of the system which leads us to think that it could be a good candidate for doing both proof and extraction of programs.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 964