Order:
Disambiguations
Joachim Ritter [65]Constantin Ritter [26]Martin Ritter [21]Heinrich Ritter [16]
Bernhard Ritter [12]C. Ritter [12]Gerhard Ritter [10]Frank E. Ritter [9]

Not all matches are shown. Search with initial or firstname to single out others.

  1. Risk Society: Towards a New Modernity.Ulrich Beck, Mark Ritter & Jennifer Brown - 1993 - Environmental Values 2 (4):367-368.
     
    Export citation  
     
    Bookmark   645 citations  
  2. Can Business Ethics be Trained? A Study of the Ethical Decision-making Process in Business Students.Barbara A. Ritter - 2006 - Journal of Business Ethics 68 (2):153-164.
    The purpose of this paper is to examine the various guidelines presented in the literature for instituting an ethics curriculum and to empirically study their effectiveness. Three questions are addressed concerning the trainability of ethics material and the proper integration and implementation of an ethics curriculum. An empirical study then tested the effect of ethics training on moral awareness and reasoning. The sample consisted of two business classes, one exposed to additional ethics curriculum (experimental), and one not exposed (control). For (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  3.  35
    Wittgenstein's Whewell's Court Lectures: Cambridge, 1938 – 1941, from the Notes by Yorick Smythies.Volker A. Munz & Bernhard Ritter (eds.) - 2017 - Chichester, UK: Wiley Blackwell.
    Wittgenstein’s Whewell’s Court Lectures contains previously unpublished notes from lectures given by Ludwig Wittgenstein between 1938 and 1941. The volume offers new insight into the development of Wittgenstein’s thought and includes some of the finest examples of Wittgenstein’s lectures in regard to both content and reliability.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  6
    Into the World: The Movement of Patočka’s Phenomenology.Martin Ritter - 2019 - Springer Verlag.
    Critically evaluating and synthesizing all the previous research on the phenomenology of Czech philosopher Jan Patočka, the book brings a new voice into contemporary philosophical discussions. It elucidates the development of Patočka’s phenomenology and offers a critical appropriation of his work by connecting it with non-phenomenological approaches. The first half of the book offers a succinct, and systematizing, overview of Patočka’s phenomenology throughout its development to help readers appreciate the motives behind and grounds for its transformations. The second half systematically (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Historisches Wörterbuch der Philosophie.Joachim Ritter - 1972 - Revue Philosophique de la France Et de l'Etranger 162:114-116.
     
    Export citation  
     
    Bookmark   43 citations  
  6.  32
    Postphenomenological Method and Technological Things Themselves.Martin Ritter - 2021 - Human Studies 44 (4):581-593.
    We live in a world where it is impossible to exist without, and beyond, technologies. Despite this omnipresence, we tend to overlook their influence on us. The vigorously developing approach of postphenomenology, combining insights from phenomenology and pragmatism, focuses on the so-called technological mediation, i.e., on how technologies as mediators of human-world relations influence the appearing of both the world and the human beings in it. My analysis aims at demonstrating both the methodological weaknesses and open possibilities of postphenomenology. After (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  51
    Historisches Worterbuch der Philosophie.Joachim Ritter, Karlfried Grunder & Gottfried Gabriel (eds.) - 1971 - Basel: Verlag Scheidegger and Spiess.
    The Historical Dictionary of Philosophy, the _Historisches Wörterbuch der Philosophie,_ is distinguished by its particular presentation of philosophical terms, ideas and concepts. Rather than providing mere defintions or descriptive and analytical explanantions the _HWPh_ strictly applies the critical method of history of concepts developed by the eminent German scholar and philosopher Joachim Ritter. By means of precise and detailed references it documents the origin, first occurrence, the historical evolution and the changes of meaning of each concept, from Ancient Greek to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  8.  35
    Neuroscience and the soul: Competing explanations for the human experience.Jesse Lee Preston, Ryan S. Ritter & Justin Hepler - 2013 - Cognition 127 (1):31-37.
  9.  31
    Philosophical Potencies of Postphenomenology.Martin Ritter - 2021 - Philosophy and Technology 34 (4):1501-1516.
    As a distinctive voice in the current philosophy of technology, postphenomenology elucidates various ways of how technologies “shape” both the world and humans in it. Distancing itself from more speculative approaches, postphenomenology advocates the so-called empirical turn in philosophy of technology: It focuses on diverse effects of particular technologies instead of speculating on the essence of technology and its general impact. Critics of postphenomenology argue that by turning to particularities and emphasizing that technologies are always open to different uses and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  37
    Methodological Reflections on the Contribution of Qualitative Research to the Evaluation of Clinical Ethics Support Services.Sebastian Wäscher, Sabine Salloch, Peter Ritter, Jochen Vollmann & Jan Schildmann - 2017 - Bioethics 31 (4):237-245.
    This article describes a process of developing, implementing and evaluating a clinical ethics support service intervention with the goal of building up a context-sensitive structure of minimal clinical-ethics in an oncology department without prior clinical ethics structure. Scholars from different disciplines have called for an improvement in the evaluation of clinical ethics support services for different reasons over several decades. However, while a lot has been said about the concepts and methodological challenges of evaluating CESS up to the present time, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  64
    Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium.Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.) - 2019 - Berlin, Boston: De Gruyter.
    The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The contributions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Hegel and the French Revolution: Essays on the Philosophy of Right.Joachim Ritter (ed.) - 1982 - Cambridge: MIT Press.
    These essays On Hegel's political philosophy are taken from Ritter's influential Metaphysik and Politik. They discuss the importance of Hegel's evaluation of modernity by focusing upon his unique conceptions of property relations, morality, civil society, and the state.Ritter's work has played a seminal role in rekindling interest in Hegel's social and political philosophy. Ritter's clarity of expression makes Hegel's concepts accessible to a wide audience of philosophers, sociologists, political scientists, historians, and others concerned with the legitimacy of modernity, the relation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13.  33
    Do emotional stimuli interfere with response inhibition? evidence from the antisaccade paradigm.Alexandra Hoffmann, Christian Büsel, Marcel Ritter & Pierre Sachse - forthcoming - Cognition and Emotion:1-8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  10
    Emerson’s abolitionist perfectionism.Eric Ritter - 2021 - Philosophy and Social Criticism 48 (6):860-881.
    Philosophy & Social Criticism, Volume 48, Issue 6, Page 860-881, July 2022. This article aims to rewrite Emerson’s moral perfectionism – his anti-foundationalist pursuit of an always more perfect state of self and society – onto his moral and intellectual participation in the abolitionist movement. I argue that Cavell artificially separated Emerson’s moral perfectionism from his extensive, decades-long abolitionism. The source of Cavell’s oversight is his participation in the long-standing norm of dichotomizing Emerson’s work into the theoretical ‘essays’ and the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  12
    Eye-Closure Enhances Creative Performance on Divergent and Convergent Creativity Tasks.Simone M. Ritter, Jens Abbing & Hein T. van Schie - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  36
    Comparative visual search: a difference that makes a difference.Marc Pomplun, Lorenz Sichelschmidt, Karin Wagner, Thomas Clermont, Gert Rickheit & Helge Ritter - 2001 - Cognitive Science 25 (1):3-36.
    In this article we present a new experimental paradigm: comparative visual search. Each half of a display contains simple geometrical objects of three different colors and forms. The two display halves are identical except for one object mismatched in either color or form. The subject's task is to find this mismatch. We illustrate the potential of this paradigm for investigating the underlying complex processes of perception and cognition by means of an eye‐tracking study. Three possible search strategies are outlined, discussed, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  69
    Was ist ein ethisches Problem und wie finde ich es? Theoretische, methodologische und forschungspraktische Fragen der Identifikation ethischer Probleme am Beispiel einer empirisch-ethischen Interventionsstudie.Sabine Salloch, Peter Ritter, Sebastian Wäscher, Jochen Vollmann & Jan Schildmann - 2016 - Ethik in der Medizin 28 (4):267-281.
    ZusammenfassungEine wichtige Aufgabe empirischer Sozialforschung in der Medizinethik besteht darin, bisher unbekannte ethische Probleme zu identifizieren und zu beschreiben. Die Frage, welche Sachverhalte in den Gegenstandsbereich der Medizinethik fallen, ist jedoch sowohl aus wissenschaftlicher Sicht voraussetzungsreich als auch in der Praxis umstritten. Im Beitrag werden theoretische, methodologische und forschungspraktische Aspekte der Identifikation und Auswahl ethischer Probleme diskutiert und das Vorgehen am Beispiel einer konkreten empirisch-ethischen Studie illustriert. Der Schwerpunkt des Artikels liegt hierbei auf den Vorbedingungen sowie dem konkreten Vorgehen bei (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  22
    Action Selection and Execution in Everyday Activities: A Cognitive Robotics and Situation Model Perspective.David Vernon, Josefine Albert, Michael Beetz, Shiau-Chuen Chiou, Helge Ritter & Werner X. Schneider - 2022 - Topics in Cognitive Science 14 (2):344-362.
    Topics in Cognitive Science, Volume 14, Issue 2, Page 344-362, April 2022.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Hegel und die französische Revolution.Joachim Ritter - 1958 - Zeitschrift für Philosophische Forschung 12 (4):621-625.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  20.  17
    The Unity of the Organism, or the Organismal Conception of Life.W. E. Ritter - 1921 - Philosophical Review 30 (6):616-624.
  21.  9
    Neue Untersuchungen über Platon.Constantin Ritter - 1888 - New York: Arno Press.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  23
    Imagine no religion: Heretical disgust, anger and the symbolic purity of mind.Ryan S. Ritter, Jesse L. Preston, Erika Salomon & Daniel Relihan-Johnson - 2016 - Cognition and Emotion 30 (4).
  23.  56
    Kant and Post-Tractarian Wittgenstein: Transcendentalism, Idealism, Illusion.Bernhard Ritter - 2020 - Cham (CH): Palgrave Macmillan.
    This book suggests that to know how Wittgenstein’s post-Tractarian philosophy could have developed from the work of Kant is to know how they relate to each other. The development from the latter to the former is invoked heuristically as a means of interpretation, rather than a historical process or direct influence of Kant on Wittgenstein. Ritter provides a detailed treatment of transcendentalism, idealism, and the concept of illusion in Kant’s and Wittgenstein’s criticism of metaphysics. Notably, it is through the conceptions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  32
    Patočka’s Care of the Soul Reconsidered: Performing the Soul Through Movement.Martin Ritter - 2017 - Human Studies 40 (2):233-247.
    Care of the soul is arguably the core concept in Patočka’s phenomenology. However, what is the soul? In this paper I seek to determine its ontological meaning, connecting the concept of caring for the soul with that of the movement of existence. Starting from Patočka’s affirmative presentation of Aristotle’s criticism of Plato, I interrogate the “orthodox” Platonic concept of caring for the soul and develop an alternative notion, putting emphasis on action in the world. I demonstrate the impossibility of identifying (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  6
    Platon.Constantin Ritter - 1910 - München,: Beck.
  26.  15
    Introduction: John Lachs's Philosophical Pluralism.Eric Ritter - 2024 - Transactions of the Charles S. Peirce Society 59 (3):293-296.
    Abstract:A brief introduction to the papers presented at a conference held at Vanderbilt University in the Fall of 2023, called "John Lachs and American Philosophy," organized by the Philosophy Department and the College of Arts and Sciences. The symposium includes papers by Herman Saatkamp, John Stuhr, Eric Weber, and Chris Skowroński. It is followed by a response from John Lachs written down by Michael Hodges based on conversations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    Preface.Gabriele M. Mras, Paul Weingartner & Bernhard Ritter - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter.
  28.  8
    Die Unmittelbarkeit des Mediums: Zur Aktualität der Medienphilosophie Walter Benjamins.Martin Ritter - 2019 - Internationales Jahrbuch Für Medienphilosophie 5 (1):81-98.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Soar.Frank E. Ritter - 2003 - In L. Nadel (ed.), Encyclopedia of Cognitive Science. Nature Publishing Group.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  30.  12
    Emerging Issues in Prison Health.Bernice S. Elger, Catherine Ritter & Heino Stöver (eds.) - 2018 - Springer.
    This volume recognizes and addresses the health care issues of prisoners, to establish best practices and to learn about approaches to these challenges from around the world. It presents new evidence on several emerging and classical prison health issues. The first goal of this volume is to address emerging issues related to health in prison. Second, it presents the most recent research-based evidence and translates it to the practice. The third goal, is that it allows for sufficient diversity while also (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Wittgenstein's Whewell's Court Lectures.Volker A. Munz & Bernhard Ritter (eds.) - 2017-04-12 - Wiley.
     
    Export citation  
     
    Bookmark   1 citation  
  32. 'Reddish Green' – Wittgenstein on Concepts and the Limits of the Empirical.Bernhard Ritter - 2013 - Conceptus: Zeitschrift Fur Philosophie 42 (101–102):1-19.
    A "concept" in the sense favoured by Wittgenstein is a paradigm for a transition between parts of a notational system. A concept-determining sentence such as "There is no reddish green" registers the absence of such a transition. This suggests a plausible account of what is perceived in an experiment that was first designed by Crane and Piantanida, who claim to have induced perceptions of reddish green. I shall propose a redescription of the relevant phenomena, invoking only ordinary colour concepts. This (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  28
    Toward Collective Memory Reconstruction as Epistemic Activism.Eric Ritter - 2023 - Philosophy Today 67 (1):189-206.
    The United States, alongside other Western democracies, is in search of a usable past. Collective memory in the United States has persistently distorted or whitewashed its past, resulting in a distinct kind of (socially sanctioned) ignorance of the present. Collective memory reconstruction can thus be understood as “epistemic activism,” targeting an “epistemology of ignorance,” borrowing and expanding key concepts from the work of Charles Mills and José Medina. In this article I begin to defend an ethical practice of collective memory (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    Modeling How, When, and What Is Learned in a Simple Fault‐Finding Task.Frank E. Ritter & Peter A. Bibby - 2008 - Cognitive Science 32 (5):862-892.
    We have developed a process model that learns in multiple ways while finding faults in a simple control panel device. The model predicts human participants' learning through its own learning. The model's performance was systematically compared to human learning data, including the time course and specific sequence of learned behaviors. These comparisons show that the model accounts very well for measures such as problem‐solving strategy, the relative difficulty of faults, and average fault‐finding time. More important, because the model learns and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Hegel-Bilanz: zur Aktualität u. Inaktualität d. Philosophie Hegels.Reinhard Heede, Joachim Ritter & Fritz Thyssen-Stiftung (eds.) - 1973 - Frankfurt (am Main),: Klostermann.
  36.  8
    Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym & Eike Ritter - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  17
    Ethical challenges in the prioritization of elective care in pandemic settings: On the significance of time‐sensitive scoring.Sarah Diner, Manuel Ritter & Mariacarla Gadebusch Bondio - 2023 - Bioethics 37 (4):343-349.
    In times of ongoing resource shortages, appropriate evaluation criteria are crucial for the ethical prioritization of medical care. While the use of scoring models as tools for prioritization is widespread, they are barely discussed in the medical-ethical discourse in the context of the COVID-19 pandemic. During this time, the challenge of providing care for patients in need has promoted consequentialist reasoning. In this light, we advocate for the integration of time- and context-sensitive scoring (TCsS) models in prioritization policies that foster (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Event-related brain potentials in the study of consciousness.E. Donchin, G. McCarthy, M. Kutas & W. Ritter - 1983 - In Richard J. Davidson, Sophie Schwartz & D. H. Shapiro (eds.), Consciousness and Self-Regulation. Plenum Press.
  39. Hegel et la Révolution Française.J. Ritter - 1970
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  40.  5
    XV. Sieben unechte schlussstellen in den tragödien des Sophokles.Franz Ritter - 1861 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 17 (3):422-436.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. The need of a new English word to express relation in living nature: Part I.William E. Ritter - 1921 - Journal of Philosophy 18 (17):449-459.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  42.  15
    Towards a Terrestrially Ontological Philosophy of Technology.Martin Ritter - forthcoming - Foundations of Science:1-12.
    Technologies are undeniably having a decisive, transformative impact on Earth, yet the currently prevailing empirically orientated approaches in the philosophy of technology seem unable to get to conceptual grips with this fact. Some thinkers have therefore been trying to develop alternative methods capable of clarifying it. This paper focuses on Vincent Blok’s call for rehabilitating an ontologically oriented approach. It reconstructs the rationale of his method as well as its key elements and structure. Elucidating Blok’s emphasis on the experience of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. The need of a new English word to express relation in living nature: Part II.William E. Ritter - 1921 - Journal of Philosophy 18 (18):480-497.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  44.  28
    The Communist Manifesto: A Weapon of Mass Destruction or A Tool for Tomorrow?Cody Ritter - 2022 - Constellations 13 (1&2).
    The term communism has long since been seen as largely derogatory, and the system it represents, a failure. Yet where do these notions of communism come from and are they reflective of the original ideals laid out by Karl Marx and Friedrich Engels? This paper will look at some of the divergences from Marx’ and Engels’ original intent to the form communism took in eastern Europe’s state-socialism. The analysis remains limited in scope with the intent of offering a rethinking of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  54
    Solace or Counsel for Death: Kant and Maria von Herbert.Bernhard Ritter - 2021 - In Corey W. Dyck (ed.), Women and Philosophy in Eighteenth-Century Germany. Oxford: Oxford University Press. pp. 137-156.
    This chapter presents new findings about Maria von Herbert's life. Building on this, an interpretation is offered of what she means when she calls upon Kant "for solace ... or for counsel to prepare [her] for death". It is then argued that Kant's reply is more satisfactory than is commonly appreciated, as he explicitly defines the roles which he is prepared to adopt – that of a "moral physician" and of a "mediator" -- and thus the standards by which to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Science and philosophy.Wm E. Ritter - 1931 - Journal of Philosophy 28 (1):5-14.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    Recovering Hyperbole.Joshua R. Ritter - 2012 - Philosophy and Rhetoric 45 (4):406-428.
    Hyperbole is an easily misunderstood and misused trope, and it is largely unexplored in current rhetorical studies. Yet, at moments within thought and discourse, the excessiveness of hyperbole elicits a constructive, transformative ambiguity that can reveal alternative epistemological and ontological insights. Indeed, hyperbole is often the most effective way of trying to express seemingly impossible and inexpressible positions. I argue for the reexploration and critical examination of hyperbole, and I offer a theoretical framework from which to view texts and discourse (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  15
    Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
    We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  10
    Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
    The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 272