Results for 'Guy Hindley'

1000+ found
Order:
  1. Reasons for endorsing or rejecting ‘self-binding directives’ in bipolar disorder: a qualitative study of survey responses from UK service users.Tania Gergel, Preety Das, Lucy Stephenson, Gareth Owen, Larry Rifkin, John Dawson, Alex Ruck Keene & Guy Hindley - 2021 - The Lancet Psychiatry 8.
    Summary Background Self-binding directives instruct clinicians to overrule treatment refusal during future severe episodes of illness. These directives are promoted as having potential to increase autonomy for individuals with severe episodic mental illness. Although lived experience is central to their creation, service users’ views on self-binding directives have not been investigated substantially. This study aimed to explore whether reasons for endorsement, ambivalence, or rejection given by service users with bipolar disorder can address concerns regarding self-binding directives, decision-making capacity, and human (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  70
    Empirical ethics in psychiatry.Guy Widdershoven (ed.) - 2008 - New York: Oxford University Press.
    Psychiatry presents a unique array of difficult ethical questions. However, a major challenge is to approach psychiatry in a way that does justice to the real ethical issues. Recently there has been a growing body of research in empirical psychiatric ethics, and an increased interest in how empirical and philosophical methods can be combined. Empirical Ethics in Psychiatry demonstrates how ethics can engage more closely with the reality of psychiatric practice and shows how empirical methodologies from the social sciences can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  8
    Writers, Rascals and Rebels: Information Wars in the Res Gestae of Ammianus Marcellinus.Guy Williams - 2023 - Classical Quarterly 73 (2):898-915.
    This article examines how the historian deals with ‘information’ broadly conceived, especially its acquisition, retention and loss. Ammianus details a complex interplay between those who control information and those who must work with an information deficit. Just as this dialogue plays out within the text, however, so too does it with respect to the author's methodology, which dances between the poles of incomplete and complete information depending on circumstance. Ammianus thus becomes an author as hard to pin down as many (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Beyond Bad and Mad: Making Psychopaths Responsible.Guy A. M. Widdershoven - 2013 - American Journal of Bioethics Neuroscience 4 (2):15-16.
    Gillett and Huang (2013) rightly stress that societal aspects of psychopathology imply society has responsibilities toward psychopaths. In this commentary, I argue that society should not only take...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  33
    BCK and BCI logics, condensed detachment and the $2$-property. [REVIEW]J. Roger Hindley - 1993 - Notre Dame Journal of Formal Logic 34 (2):231-250.
  6.  56
    Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
    Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  55
    Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
    Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  11
    Plato and his contemporaries: a study in fourth-century life and thought.Guy Cromwell Field - 1930 - New York: Haskell House Publishers.
    This book helps understand Plato’s writings by describing the circumstances in which they were produced. The author begins with an account of Plato’s life and development and a brief analysis of some of the more difficult points arising from the criticism of Plato’s writings. The remainder of the work considers the total setting – political, literary and philosophical – in which Plato’s writings were produced. There are extensive appendices on the Platonic Epistles, Aristotle and the Theory of Ideas, and on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. A Fresh Start for the Objective-List Theory of Well-Being.Guy Fletcher - 2013 - Utilitas 25 (2):206-220.
    So-called theories of well-being (prudential value, welfare) are under-represented in discussions of well-being. I do four things in this article to redress this. First, I develop a new taxonomy of theories of well-being, one that divides theories in a more subtle and illuminating way. Second, I use this taxonomy to undermine some misconceptions that have made people reluctant to hold objective-list theories. Third, I provide a new objective-list theory and show that it captures a powerful motivation for the main competitor (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   105 citations  
  10. Revenu universel d’existence en Europe.Guy Valette - 2024 - Multitudes 95 (2):201-204.
    « En Europe dans cette Europe qu’on dit malade […] la proposition politique d’un revenu universel, inconditionnel, c’est-à-dire, détaché d’un emploi salarié est en train de s’imposer comme le seul critère de renouvellement des programmes politiques » affirmait déjà en 2016, Yann Moulier Boutang, économiste. Le droit à un emploi correctement rémunéré pour assurer les conditions concrètes d’existence est de moins en moins universel. Les États tentent de venir en aide à cette population qui, avec ou sans travail, n’arrive plus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  34
    The Maurice Baring Special Issue.Guy Wainwright - 1988 - The Chesterton Review 14 (4):644-644.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. The Philosophy of Well-Being: An Introduction.Guy Fletcher - 2016 - New York: Routledge.
    Well-being occupies a central role in ethics and political philosophy, including in major theories such as utilitarianism. It also extends far beyond philosophy: recent studies into the science and psychology of well-being have propelled the topic to centre stage, and governments spend millions on promoting it. We are encouraged to adopt modes of thinking and behaviour that support individual well-being or 'wellness'. What is well-being? Which theories of well-being are most plausible? In this rigorous and comprehensive introduction to the topic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  13.  44
    Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
  14.  44
    Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
  15.  43
    Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
  16.  79
    Learning to recognise objects.Guy Wallis & Heinrich Bülthoff - 1999 - Trends in Cognitive Sciences 3 (1):22-31.
    Evidence from neurophysiological and psychological studies is coming together to shed light on how we represent and recognize objects. This review describes evidence supporting two major hypotheses: the first is that objects are represented in a mosaic-like form in which objects are encoded by combinations of complex, reusable features, rather than two-dimensional templates, or three-dimensional models. The second hypothesis is that transform-invariant representations of objects are learnt through experience, and that this learning is affected by the temporal sequence in which (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. Objective list theories.Guy Fletcher - 2015 - In The Routledge Handbook of Philosophy of Well-Being. Routledge. pp. 148-160.
    This chapter is divided into three parts. First I outline what makes something an objective list theory of well-being. I then go on to look at the motivations for holding such a view before turning to objections to these theories of well-being.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  18. The Routledge Handbook of Philosophy of Well-Being.Guy Fletcher (ed.) - 2015 - New York,: Routledge.
    The concept of well-being is one of the oldest and most important topics in philosophy and ethics, going back to ancient Greek philosophy and Aristotle. Following the boom in happiness studies in the last few years it has moved to centre stage, grabbing media headlines and the attention of scientists, psychologists and economists. Yet little is actually known about well-being and it is an idea often poorly articulated. The Routledge Handbook of Philosophy of Well-Being provides a comprehensive, outstanding guide and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  19.  29
    Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  20. Moral Testimony: Once More with Feeling.Guy Fletcher - 2016 - Oxford Studies in Metaethics 11:45-73..
    It is commonly claimed that reliance upon moral testimony is problematic in a way not common to reliance upon non-moral testimony. This chapter provides a new explanation of what the problem consists in—one that enjoys advantages over the most widely accepted explanation in the extant literature. The main theses of the chapter are as follows: that many forms of normative deference beyond the moral are problematic, that there is a common explanation of the problem with all of these forms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  21. Evolutionary Debunking Arguments.Guy Kahane - 2010 - Noûs 45 (1):103-125.
    Evolutionary debunking arguments are arguments that appeal to the evolutionary origins of evaluative beliefs to undermine their justification. This paper aims to clarify the premises and presuppositions of EDAs—a form of argument that is increasingly put to use in normative ethics. I argue that such arguments face serious obstacles. It is often overlooked, for example, that they presuppose the truth of metaethical objectivism. More importantly, even if objectivism is assumed, the use of EDAs in normative ethics is incompatible with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   197 citations  
  22. Dear Prudence: the nature and normativity of prudential discourse.Guy Fletcher - 2021 - Oxford, UK: Oxford University Press.
    Philosophers have long theorized about what makes people's lives go well, and why, and the extent to which morality and self-interest can be reconciled. However, we have spent little time on meta-prudential questions, questions about prudential discourse—thought and talk about what is good and bad for us; what contributes to well-being; and what we have prudential reason, or prudentially ought, to do. This situation is surprising given that prudence is, prima facie, a normative form of discourse and cries out for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  16
    Self-harm in immigration detention: political, not (just) medical.Guy Aitchison & Ryan Essex - forthcoming - Journal of Medical Ethics.
    Self-harm within immigration detention centres has been a widely documented phenomenon, occurring at far higher rates than the wider community. Evidence suggests that factors such as the conditions of detention and uncertainty about refugee status are among the most prominent precipitators of self-harm. While important in explaining self-harm, this is not the entire story. In this paper, we argue for a more overtly political interpretation of detainee self-harm as resistance and assess the ethical implications of this view, drawing on interviews (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Weber and Rickert: Concept Formation in the Cultural Sciences.Guy Oakes - 1988 - MIT Press.
    Philosophers and social scientists will welcome this highly original discussion of Max Weber's analysis of the objectivity of social science. Guy Oakes traces the vital connection between Weber's methodology and the work of philosopher Heinrich Rickert, reconstructing Rickert's notoriously difficult concepts in order to isolate the important, and until now poorly understood, roots of problems in Weber's own work.Guy Oakes teaches social philosophy at Monmouth College and sociology at the New School for Social Research.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  25.  38
    Rights, citizenship and political struggle.Guy Aitchison - 2018 - European Journal of Political Theory 17 (1):1474885115578052.
    This paper adds a new perspective to recent debates about the political nature of rights through attention to their distinctive role within social movement practices of moral critique and social struggle. The paper proceeds through a critical examination of the Political Constitutionalist theories of rights politics proposed by Jeremy Waldron and Richard Bellamy. While political constitutionalists are correct to argue that rights are ‘contestable’ and require democratic justification, they construe political activity almost exclusively with reference to voting, parties and parliamentary (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  59
    Palliative opioid use, palliative sedation and euthanasia: reaffirming the distinction.Guy Schofield, Idris Baker, Rachel Bullock, Hannah Clare, Paul Clark, Derek Willis, Craig Gannon & Rob George - 2020 - Journal of Medical Ethics 46 (1):48-50.
    We read with interest the extended essay published from Riisfeldt and are encouraged by an empirical ethics article which attempts to ground theory and its claims in the real world. However, such attempts also have real-world consequences. We are concerned to read the paper’s conclusion that clinical evidence weakens the distinction between euthanasia and normal palliative care prescribing. This is important. Globally, the most significant barrier to adequate symptom control in people with life-limiting illness is poor access to opioid analgesia. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  22
    The Subjective View.Guy Stock - 1985 - Philosophical Quarterly 35 (138):109-110.
  28.  43
    Lambda-calculus and combinators in the 20th century.Felice Cardone & J. Roger Hindley - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--723.
  29.  57
    Intentional communication in the chimpanzee: The development of deception.Guy Woodruff & David Premack - 1979 - Cognition 7 (4):333-362.
  30. Beyond sacrificial harm: A two-dimensional model of utilitarian psychology.Guy Kahane, Jim A. C. Everett, Brian D. Earp, Lucius Caviola, Nadira S. Faber, Molly J. Crockett & Julian Savulescu - 2018 - Psychological Review 125 (2):131-164.
    Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  31.  38
    Fragility as Strength: The Ethics and Politics of Hunger Strikes.Guy Aitchison - 2021 - Journal of Political Philosophy 30 (4):535-558.
    Journal of Political Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  48
    Gauge and Ghosts.Guy Hetzroni - 2021 - British Journal for the Philosophy of Science 72 (3):773-796.
    This article suggests a fresh look at gauge symmetries, with the aim of drawing a clear line between the a priori theoretical considerations involved, and some methodological and empirical non-deductive aspects that are often overlooked. The gauge argument is primarily based on a general symmetry principle expressing the idea that a change of mathematical representation should not change the form of the dynamical law. In addition, the ampliative part of the argument is based on the introduction of new degrees of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Artworks as historical individuals.Guy Rohrbaugh - 2003 - European Journal of Philosophy 11 (2):177–205.
    In 1907, Alfred Stieglitz took what was to become one of his signature photographs, The Steerage. Stieglitz stood at the rear of the ocean liner Kaiser Wilhelm II and photographed the decks, first-class passengers above and steerage passengers below, carefully exposing the film to their reflected light. Later, in the darkroom, Stieglitz developed this film and made a number of prints from the resulting negative. The photograph is a familiar one, an enduring piece of social commentary, but what exactly is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  34.  35
    The political imaginary of National AI Strategies.Guy Paltieli - 2022 - AI and Society 37 (4):1613-1624.
    In the past few years, several democratic governments have published their National AI Strategies (NASs). These documents outline how AI technology should be implemented in the public sector and explain the policies that will ensure the ethical use of personal data. In this article, I examine these documents as political texts and reconstruct the political imaginary that underlies them. I argue that these documents intervene in contemporary democratic politics by suggesting that AI can help democracies overcome some of the challenges (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  13
    Fragility as Strength: The Ethics and Politics of Hunger Strikes.Guy Aitchison - 2021 - Journal of Political Philosophy 30 (4):535-558.
    Journal of Political Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  63
    Self-Control, Injunctive Norms, and Descriptive Norms Predict Engagement in Plagiarism in a Theory of Planned Behavior Model.Guy J. Curtis, Emily Cowcher, Brady R. Greene, Kiata Rundle, Megan Paull & Melissa C. Davis - 2018 - Journal of Academic Ethics 16 (3):225-239.
    The Theory of Planned Behavior predicts that a combination of attitudes, perceived norms, and perceived behavioral control predict intentions, and that intentions ultimately predict behavior. Previous studies have found that the TPB can predict students’ engagement in plagiarism. Furthermore, the General Theory of Crime suggests that self-control is particularly important in predicting engagement in unethical behavior such as plagiarism. In Study 1, we incorporated self-control in a TPB model and tested whether norms, attitudes, and self-control predicted intention to plagiarize and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  13
    The neural basis of human tool use.Guy A. Orban & Fausto Caruana - 2014 - Frontiers in Psychology 5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  38. Taking Prudence Seriously.Guy Fletcher - 2019 - Oxford Studies in Metaethics 14:70-94.
    Philosophers have long theorized about which things make people’s lives go well, and why, and the extent to which morality and self-interest can be reconciled. Yet little time has been spent on meta-prudential questions, questions about prudential discourse. This is surprising given that prudence is, prima facie, a normative form of discourse and, as such, cries out for further investigation. Chapter 4 takes up two major meta-prudential questions. It first examines whether there is a set of prudential reasons, generated by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Axioms for strong reduction in combinatory logic.Roger Hindley - 1967 - Journal of Symbolic Logic 32 (2):224-236.
  40. The Locative Analysis of Good For Formulated and Defended.Guy Fletcher - 2012 - Journal of Ethics and Social Philosophy (JESP) 6 (1):1-27.
    THE STRUCTURE OF THIS PAPER IS AS FOLLOWS. I begin §1 by dealing with preliminary issues such as the different relations expressed by the “good for” locution. I then (§2) outline the Locative Analysis of good for and explain its main elements before moving on to (§3) outlining and discussing the positive features of the view. In the subsequent sections I show how the Locative Analysis can respond to objections from, or inspired by, Sumner (§4-5), Regan (§6), and Schroeder and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  41. Pain for the Moral Error Theory? A New Companions-in-Guilt Argument.Guy Fletcher - 2018 - Australasian Journal of Philosophy 96 (3):474-482.
    The moral error theorist claims that moral discourse is irredeemably in error because it is committed to the existence of properties that do not exist. A common response has been to postulate ‘companions in guilt’—forms of discourse that seem safe from error despite sharing the putatively problematic features of moral discourse. The most developed instance of this pairs moral discourse with epistemic discourse. In this paper, I present a new, prudential, companions-in-guilt argument and argue for its superiority over the epistemic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  42.  29
    An abstract church-Rosser theorem. II: Applications.R. Hindley - 1974 - Journal of Symbolic Logic 39 (1):1-21.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  19
    Eros and military command in Xenophon.Clifford Hindley - 1994 - Classical Quarterly 44 (02):347-.
    Xenophon's concern with morality in his more philosophical writings is evident. But that concern embraces also his approach to history. In the Hellenica this interest in morality is not to be written off as a matter of marginal comment, but, it may be claimed, is integral to the historian's purpose. He is one for whom the determinants of history are the personalities and actions of great men, and it is natural for him to observe the interaction between personal morality and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  31
    Foucault, democracy and the ambivalence of rights.Guy Aitchison - 2017 - Critical Review of International Social and Political Philosophy:1-17.
  45. Needing and Necessity.Guy Fletcher - 2018 - In Mark Timmons (ed.), Oxford Studies in Normative Ethics. Oxford University Press. pp. 170-192.
    Claims about needs are a ubiquitous feature of everyday practical discourse. It is therefore unsurprising that needs have long been a topic of interest in moral philosophy, applied ethics, and political philosophy. Philosophers have devoted much time and energy to developing theories of the nature of human needs and the like. -/- Philosophers working on needs are typically committed to the idea that there are different kinds of needs and that within the different kinds of needs is a privileged class (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  73
    Having It Both Ways: Hybrid Theories and Modern Metaethics.Guy Fletcher & Michael Ridge (eds.) - 2014 - New York: Oxford University Press.
    In twelve new essays, contributors explore hybrid theories in metaethics and other normative domains.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  47. If Nothing Matters.Guy Kahane - 2017 - Noûs 51 (2):327-353.
    The possibility that nothing really matters can cause much anxiety, but what would it mean for that to be true? Since it couldn’t be bad that nothing matters, fearing nihilism makes little sense. However, the consequences of belief in nihilism will be far more dramatic than often thought. Many metaethicists assume that even if nothing matters, we should, and would, go on more or less as before. But if nihilism is true in an unqualified way, it can’t be the case (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  48.  48
    Freiheitsentziehende Maßnahmen in Altenpflegeheimen – rechtliche Grundlagen und Alternativen der Pflege.Guy Walther - 2007 - Ethik in der Medizin 19 (4):289-300.
    Freiheitsentziehende Maßnahmen in Altenpflegeheimen sind unter pflegerischen und ethischen, aber auch betreuungsrechtlichen und vor allem strafrechtlichen Gesichtspunkten von besonderer Bedeutung. Häufig sind eingeschränkte Mobilität, Verringerung der kognitiven Funktionen, große Hilfsbedürftigkeit des älteren Menschen der auslösende Faktor für den Einsatz derartiger Einschränkungen. Daneben gibt es jedoch Hinweise, dass die Anwendung freiheitsentziehender Maßnahmen auch mit organisatorischen Abläufen in Altenpflegeeinrichtungen zusammenhängt. Der vorliegende Beitrag diskutiert, wieweit freiheitsentziehende und freiheitsbeschränkende Maßnahmen bei alten Menschen überhaupt zulässig sind und zeigt auf, dass die Entwicklung von alternativen (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  51
    Nietzsche’s failed engagement with Schopenhauer’s pessimism: an analysis.Guy Elgat - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (2):129-153.
    ABSTRACT While a common view in the literature is that Nietzsche cannot successfully argue against Schopenhauer’s pessimism, a detailed explanation of why this is so is lacking. In this paper I provide such a detailed analysis. Specifically, a consideration of three of Nietzsche’s strategies for a revaluation of pain and suffering reveals two problems: the problem of ‘the direction of revaluation’ and the ‘dilemma of the intransigence of hedonism’. According to the first, the success of a revaluation cannot be guaranteed (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  46
    An Abstract form of the church-rosser theorem. I.R. Hindley - 1969 - Journal of Symbolic Logic 34 (4):545-560.
    One of the basic results in the theory of λ-conversion is the Church-Rosser Theorem, which says that, using certain rules for conversion and reduction of λ-formulae, any two interconvertible formulae can both be reduced to one formula. (I will not explain this in detail, as λ-conversion is described fully in Church's [2], where the Church-Rosser Theorem is Theorem 7 XXVII; see also Chapter 4 of Curry and Feys' [3].) The first part of the present paper contains an abstract form of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000