Results for 'Nicolas Michaux'

1000+ found
Order:
  1.  52
    Let Us Redeploy Attention to Sensorimotor Experience.Nicolas Michaux, Mauro Pesenti, Arnaud Badets, Samuel Di Luca & Michael Andres - 2010 - Behavioral and Brain Sciences 33 (4):283-284.
    With his massive redeployment hypothesis (MRH), Anderson claims that novel cognitive functions are likely to rely on pre-existing circuits already possessing suitable resources. Here, we put forward recent findings from studies in numerical cognition in order to show that the role of sensorimotor experience in the ontogenetical development of a new function has been largely underestimated in Anderson's proposal.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  51
    Topological Differential Fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
    We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3. Julius Kuhl Nicola Baumann.Nicola Baumann - 2000 - In Walter J. Perrig & Alexander Grob (eds.), Control of Human Behavior, Mental Processes, and Consciousness: Essays in Honor of the 60th Birthday of August Flammer. Erlbaum. pp. 259.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  28
    Functional Cerebral Reorganization: A Signature of Expertise? Reexamining Guida, Gobet, Tardieu, and Nicolas' Two-Stage Framework.Alessandro Guida, Fernand Gobet & Serge Nicolas - 2013 - Frontiers in Human Neuroscience 7.
  5.  14
    Ángela Uribe B.: Oil, Economics and Cultire: The U Wa S Case (Nicolás Vaughan).NicolÁs Vaughan - 2006 - Ideas Y Valores 55 (130):102-105.
  6. Entretiens Sur la Métaphysique = Dialogues on Metaphysics /Nicolas Malebranche ; Translation and Introduction by Willis Doney. --. --.Nicolas Malebranche & Willis Doney - 1980 - Abaris Books, 1980.
     
    Export citation  
     
    Bookmark  
  7.  28
    The Absolute Discourse of Theology.Nicolae Turcan - 2022 - Diakrisis Yearbook of Theology and Philosophy 5:61-80.
    This article first defines the absolute discourse, then discusses its possibility in theology, as well as the relationships between language, thought, and reality as they derive from the spirituality and life of the Eastern Church. Theology must face several problems—including the paradox of transcendence, the violence of metaphysics, onto-theology, and the duplicity of language itself—, but the Revelation of the Absolute itself legitimizes the theological discourse. By using both affirmations and negations, theology reveals an iconic structure of discourse that opens (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Estetica Ecologica. Percepire Saggio, Vivere Corrispondente di Nicola Perullo.Nicola Perullo, Manlio Iofrida & Giovanni Fava - 2020 - Aisthesis. Pratiche, Linguaggi E Saperi Dell’Estetico 13 (1):181-192.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  24
    Michaux: Xenopathic Ontology.Arun Saldanha - 2012 - Deleuze and Guatarri Studies 6 (3):411-437.
    The hallucinogenic art of Michaux and other surrealists should never be regarded as advocating unbridled sensuous experimentation. The affects they generate may index absurdity, incongruity and comedy – they may ‘ridiculise’ our systematic thinking – but these affects thereby serve a more serious production of concepts. Through an abstemious aesthetics of existence Michaux becomes an ontologist of the prephilosophical sort. Carefully but ambiguously he explores the truths of matter, movement, body and modernity. As Deleuze saw clearly, the resulting (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  8
    La Recherche de la Vérité, Chapitre VII. Nicolas Malebranche.Nicolas Malebranche - 2012 - Alter - European Journal of Disability Research / Revue Européenne de Recherche Sur le Handicap 6 (2):143-148.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  19
    Abraham's WakeCryptonymie: Le Verbier de L'Homme aux LoupsL'Ecorce Et le NoyauSpecial Issue: "Presence de Nicolas Abraham".Peggy Kamuf, Nicolas Abraham, Maria Torok & Etudes Freudiennes - 1979 - Diacritics 9 (1):31.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12.  21
    Family Romance or Family History? Psychoanalysis and Dramatic Invention in Nicolas Abraham's "The Phantom of Hamlet""The Phantom of Hamlet or the Sixth Act: Preceded by the Intermission of 'Truth'". [REVIEW]Nicholas Rand & Nicolas Abraham - 1988 - Diacritics 18 (4):20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  21
    Henri Michaux: animalidad y conciencia.Florencia Abadi - 2011 - Aisthesis 50:92-109.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Lost Paradigm or Inhibited Projects?Bernard Michaux - 1996 - Diogenes 44 (173):41-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  7
    Liturgy and Apophaticism.Nicolae Turcan - 2021 - Religions 12 (9):721.
    The Orthodox liturgy is a religious phenomenon that can be analyzed phenomenologically and theologically alike, given the emphasis that both phenomenology and Orthodox theology place on experience. By proposing the Kingdom of God instead of the natural world without being able to annihilate the latter in the name of the former, the liturgy seeks divine-human communion. Through the dialogue of prayer, through symbolic and iconic openings, as well as through apophatic theology, the liturgy emphasizes the horizon of mystery as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.Christian Michaux & Roger Villemaire - 1996 - Annals of Pure and Applied Logic 77 (3):251-277.
    Let be the set of nonnegative integers. We show the two following facts about Presburger's arithmetic:1. 1. Let . If L is not definable in , + then there is an definable in , such that there is no bound on the distance between two consecutive elements of L′. and2. 2. is definable in , + if and only if every subset of which is definable in is definable in , +. These two Theorems are of independent interest but we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17. La Philosophie de Nicolas de Cues.Maurice de Gandillac & Nicolas de Cues - 1942 - Les Etudes Philosophiques 16 (1):57-60.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. A Mutualistic Approach to Morality: The Evolution of Fairness by Partner Choice.Nicolas Baumard, Jean-Baptiste André & Dan Sperber - 2013 - Behavioral and Brain Sciences 36 (1):59-122.
    What makes humans moral beings? This question can be understood either as a proximate question or as an ultimate question. The question is about the mental and social mechanisms that produce moral judgments and interactions, and has been investigated by psychologists and social scientists. The question is about the fitness consequences that explain why humans have morality, and has been discussed by evolutionary biologists in the context of the evolution of cooperation. Our goal here is to contribute to a fruitful (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   82 citations  
  19.  11
    The Mouse, Endemic Rodents and Human Settlement in the Canary Islands.Jacques Michaux - 2008 - Diogenes 55 (2):65 - 75.
    This article postulates a method of determining the date of human settlement in the Canary Islands by establishing when species of mice, which are commensal with human beings and hence in all likelihood migrated with them, arrived in the archipelago. At the same time, the extinction of several species of endemic rodents may also correlate with such arrivals. The study establishes the outer limits for the arrival of the mouse species, between the 5th millennium BCE and the 15th century CE, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Dynamic Aspects of Human Genetics: Is the Human Germline the Bioethical Key to Human Genetic Engineering?Nicolae Morar - 2022 - American Journal of Bioethics 22 (9):46-49.
    The advent of CRISPR has drastically moved the possibility of genetically modifying human genomes from the space of science fiction into nearby reality. Whether one considers the positive results f...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  5
    The Origins of Fairness: How Evolution Explains Our Moral Nature.Nicolas Baumard - 2016 - Oxford University Press USA.
    In order to describe the logic of morality, "contractualist" philosophers have studied how individuals behave when they choose to follow their moral intuitions. These individuals, contractualists note, often act as if they have bargained and thus reached an agreement with others about how to distribute the benefits and burdens of mutual cooperation. Using this observation, such philosophers argue that the purpose of morality is to maximize the benefits of human interaction. The resulting "contract" analogy is both insightful and puzzling. On (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  15
    Michaux's Mouvements.Lajos Elkan - 1991 - Semiotics:79-85.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23. I Fragmenta comicorum nei mss. Par. suppl. gr. 1013 e D’Orville 123 con alcune note inedite di Dirck Canter e Joseph Justus Scaliger ai frammenti dei comici greci e alle “Chreiai” di Macone. [REVIEW]Nicola Comentale - 2017 - Hermes 145 (2):235-247.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Schöpfer im Bauch.Nicola Hömke - 2015 - Hermes 143 (2):208-228.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  1
    Transcendence and Revelation: From Phenomenology to Theology.Nicolae Turcan - 2016 - Dialogo 2 (2):92-99.
    Thinking on transcendence falls into a paradox: if transcendence is a radical one, we cannot speak about it; if we speak about it, it is no longer radical. The aim of this paper is to overcome this paradox and to analyze the concept of transcendence considering the dynamic of self-transcending that is natural to man, the limit beyond which one can speak about transcendence, and the phenomena of mystery whereby the transcendence appears. Inasmuch as transcendence does not escape from the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. The Problem of Evaluating Automated Large-Scale Evidence Aggregators.Nicolas Wüthrich & Katie Steele - 2019 - Synthese (8):3083-3102.
    In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  4
    Husserl and the Promise of Time: Subjectivity in Transcendental Phenomenology.Nicolas de Warren - 2009 - Cambridge University Press.
    This book provides an extensive treatment of Husserl's phenomenology of time-consciousness. Nicolas de Warren uses detailed analysis of texts by Husserl, some only recently published in German, to examine Husserl's treatment of time-consciousness and its significance for his conception of subjectivity. He traces the development of Husserl's thinking on the problem of time from Franz Brentano's descriptive psychology, and situates it in the framework of his transcendental project as a whole. Particular discussions include the significance of time-consciousness for other (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  31
    Topological Differential Fields and Dimension Functions.Nicolas Guzy & Françoise Point - 2012 - Journal of Symbolic Logic 77 (4):1147-1164.
    We construct a fibered dimension function in some topological differential fields.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The Artful Mind Meets Art History: Toward a Psycho-Historical Framework for the Science of Art Appreciation.Nicolas J. Bullot & Rolf Reber - 2013 - Behavioral and Brain Sciences 36 (2):123-137.
    Research seeking a scientific foundation for the theory of art appreciation has raised controversies at the intersection of the social and cognitive sciences. Though equally relevant to a scientific inquiry into art appreciation, psychological and historical approaches to art developed independently and lack a common core of theoretical principles. Historicists argue that psychological and brain sciences ignore the fact that artworks are artifacts produced and appreciated in the context of unique historical situations and artistic intentions. After revealing flaws in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  30.  2
    Biological Functions: A Critical Review and A Proposal.Nicolás Alarcón - 2022 - Revista de Humanidades de Valparaíso 19:395-409.
    This research aims to propose a new theory to account for the functions of biological objects. For this, I will show that the most accepted theories of biological functions fail, and then I will propose a new alternative that overcomes the given counterexamples. The research is divided into the following questions: i) appealing to various counterexamples, noting that there is no robust theory capable of accounting for the phenomenon; finally ii) I will give a minimal provisional / operational theory, which (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. .Nicolas Wüthrich - 2016
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  32.  2
    ‘Take My Kidneys but Not My Corneas’—Selective Preferences as a Hidden Problem for ‘Opt‐Out’ Organ Donation Policy.Nicola Jane Williams & Neil C. Manson - 2022 - Bioethics 36 (8):829-839.
    Bioethics, Volume 36, Issue 8, Page 829-839, October 2022.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    In Search of Criminal Responsibility: Ideas, Interests, and Institutions.Nicola Lacey - 2016 - Oxford University Press UK.
    What makes someone responsible for a crime and therefore liable to punishment under the criminal law? Modern lawyers will quickly and easily point to the criminal law's requirement of concurrent actus reus and mens rea, doctrines of the criminal law which ensure that someone will only be found criminally responsible if they have committed criminal conduct while possessing capacities of understanding, awareness, and self-control at the time of offense. Any notion of criminal responsibility based on the character of the offender, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  5
    Hume: Sus Aportes Al Análisis Del Lenguaje Moral.Nicolás Zavadivker - 2017 - Contrastes: Revista Internacional de Filosofía 20 (2).
    RESUMEN El objetivo de este trabajo es reconstruir los diferentes aportes realizados por David Hume al análisis del lenguaje moral y de la argumentación práctica, es decir, a las cuestiones que hoy se agrupan bajo de el nombre de Metaética. Muchas de sus puntualizaciones y argumentos son conocidos y tuvieron una notable influencia en la metaética contemporánea, pero otros pasajes de su obra no tuvieron tal atención, y es mi interés resaltarlos y destacar su importancia. En este artículo me ocuparé (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  53
    State Punishment: Political Principles and Community Values.Nicola Lacey - 1988 - Routledge.
    Nicola Lacey presents a new approach to the question of the moral justification of punishment by the State. She focuses on the theory of punishments in context of other political questions, such as the nature of political obligation and the function and scope of criminal law. Arguing that no convincing set of justifying reasons has so far been produced, she puts forward a theory of punishments which places the values of the community at its centre.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  36. Socratic Elenchus in the Sophist.Nicolas Zaks - 2018 - Apeiron 51 (4):371-390.
    This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  9
    Cell Decomposition and Dimension Function in the Theory of Closed Ordered Differential Fields.Thomas Brihaye, Christian Michaux & Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):111-128.
    In this paper we develop a differential analogue of o-minimal cell decomposition for the theory CODF of closed ordered differential fields. Thanks to this differential cell decomposition we define a well-behaving dimension function on the class of definable sets in CODF. We conclude this paper by proving that this dimension is closely related to both the usual differential transcendence degree and the topological dimension associated, in this case, with a natural differential topology on ordered differential fields.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38. Beyond Consciousness of External Reality: A ''Who'' System for Consciousness of Action and Self-Consciousness.Nicolas Georgieff & Marc Jeannerod - 1998 - Consciousness and Cognition 7 (3):465-477.
    This paper offers a framework for consciousness of internal reality. Recent PET experiments are reviewed, showing partial overlap of cortical activation during self-produced actions and actions observed from other people. This overlap suggests that representations for actions may be shared by several individuals, a situation which creates a potential problem for correctly attributing an action to its agent. The neural conditions for correct agency judgments are thus assigned a key role in self/other distinction and self-consciousness. A series of behavioral experiments (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  39.  26
    Should Deceased Donation Be Morally Preferred in Uterine Transplantation Trials?Nicola Williams - 2016 - Bioethics 30 (6):415-424.
    In recent years much research has been undertaken regarding the feasibility of the human uterine transplant as a treatment for absolute uterine factor infertility. Should it reach clinical application this procedure would allow such individuals what is often a much-desired opportunity to become not only social mothers, or genetic and social mothers but mothers in a social, genetic and gestational sense. Like many experimental transplantation procedures such as face, hand, corneal and larynx transplants, UTx as a therapeutic option falls firmly (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  68
    How to Bootstrap a Human Communication System.Nicolas Fay, Michael Arbib & Simon Garrod - 2013 - Cognitive Science 37 (7):1356-1367.
    How might a human communication system be bootstrapped in the absence of conventional language? We argue that motivated signs play an important role (i.e., signs that are linked to meaning by structural resemblance or by natural association). An experimental study is then reported in which participants try to communicate a range of pre-specified items to a partner using repeated non-linguistic vocalization, repeated gesture, or repeated non-linguistic vocalization plus gesture (but without using their existing language system). Gesture proved more effective (measured (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  41.  50
    What is the Harm in Harmful Conception? On Threshold Harms in Non-Identity Cases.Nicola J. Williams & John Harris - 2014 - Theoretical Medicine and Bioethics 35 (5):337-351.
    Has the time come to put to bed the concept of a harm threshold when discussing the ethics of reproductive decision making and the legal limits that should be placed upon it? In this commentary, we defend the claim that there exist good moral reasons, despite the conclusions of the non-identity problem, based on the interests of those we might create, to refrain from bringing to birth individuals whose lives are often described in the philosophical literature as ‘less than worth (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42. On the Epistemological Analysis of Modeling and Computational Error in the Mathematical Sciences.Nicolas Fillion & Robert M. Corless - 2014 - Synthese 191 (7):1451-1467.
    Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a general model (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43. The Social Value of Health Research and the Worst Off.Nicola Barsdorf & Joseph Millum - 2017 - Bioethics 31 (2):105-115.
    In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44.  23
    Volitional causality vs natural causality: reflections on their compatibility in Husserl’s phenomenology of action.Nicola Spano - 2022 - Phenomenology and the Cognitive Sciences 21 (3):669-687.
    In the present article, I introduce Husserl’s analyses of ‘natural causality’ and ‘volitional causality’, which are collected in the volume ‘Wille und Handlung’ of the Husserliana edition Studien zur Struktur des Bewußtseins. My aim is to show that Husserl’s insight into these phenomena enables us to understand more clearly both the specificity of, and the relation between, the motivational nexus belonging to the sphere of the will in contrast with the causal laws of nature. In light of this understanding, in (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  45. Indeterminism in Physics, Classical Chaos and Bohmian Mechanics: Are Real Numbers Really Real?Nicolas Gisin - 2019 - Erkenntnis:1-13.
    It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Wrongs, Rights, and Third Parties.Nicolas Cornell - 2015 - Philosophy and Public Affairs 43 (2):109-143.
  47.  48
    The Interactive Evolution of Human Communication Systems.Nicolas Fay, Simon Garrod, Leo Roberts & Nik Swoboda - 2010 - Cognitive Science 34 (3):351-386.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  48.  81
    Not Just Deserts: A Republican Theory of Criminal Justice.Nicola Lacey - 1991 - Philosophical Quarterly 41 (164):374.
    A new approach to sentencing Not Just Deserts inaugurates a radical shift in the research agenda of criminology. The authors attack currently fashionable retributivist theories of punishment, arguing that the criminal justice system is so integrated that sentencing policy has to be considered in the system-wide context. They offer a comprehensive theory of criminal justice which draws on a philosophical view of the good and the right, and which points the way to practical intervention in the real world of incremental (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  49.  5
    A Life of H. L. A. Hart: The Nightmare and the Noble Dream.Nicola Lacey - 2004 - Oxford University Press.
    Herbert Lionel Adolphus Hart was born in Yorkshire in 1907 to second generation Jewish immigrants. Having won a scholarship to Oxford University, he went on to become the most famous legal philosopher of the twentieth century. From 1932-40 H.L.A Hart practised as a barrister in London. He was pronounced physically unfit for military service in 1940, and was recruited by MI5, where he worked until 1945. During his time at the Bar he had continued to study philosophy and at M15 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  50.  12
    Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000