Results for 'J. Y. Girard'

1000+ found
Order:
  1. T. Ehrhard. J.-Y. Girard. P. Ruet. And P. Scott, Linear Logic in Computer Science.Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297.
  2. Y. L and L. Regnier.J. Y. Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  3. The Philosophy Department of the Rijksuniversiteit Utrecht Organizes the Conference “Church's Theses After Fifty Years”. Among the Invited Speakers Are E. Borger, RO Gandy, J.-Y. Girard, Y. [REVIEW]M. Hyland Gurevich, G. Kreisel, G. Longo, D. S. Scott & D. van Dalen - 1986 - Annals of Pure and Applied Logic 30:330.
     
    Export citation  
     
    Bookmark  
  4.  17
    W. W. Tait. Intensional Interpretations of Functionals of Finite Type I. The Journal of Symbolic Logic, Vol. 32 , Pp. 198–212. [REVIEW]J. Y. Girard - 1975 - Journal of Symbolic Logic 40 (4):624-625.
  5. Three-Valued Logic and Cut-Elimination: The Actual Meaning of Takeuti's Conjecture.J. Y. Girard - 1976 - Państwowe Wydawn. Naukowe.
  6.  4
    Ouelques Resultats sur les Interpretations Fonctionnelles.J. Y. Girard - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 232--252.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Les Premiers Recursivement Inaccessible Et Mahlo Et la Theorie des Dilatateurs.J. Y. Girard & J. Vauzeilles - 1984 - Archive for Mathematical Logic 24 (1):167-191.
  8. Linear Logic : A Survey.J.-Y. Girard - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   5 citations  
  9. REVIEWS-Linear Logic in Computer Science.T. Ehrhard, J. Y. Girard, P. Ruet, P. Scott & Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-298.
  10. Le théorème de Gödei.E. Nagel, J. R. Newman, K. Gödel, J. Y. Girard & J. Scherrer - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):706-708.
     
    Export citation  
     
    Bookmark   2 citations  
  11.  11
    Linear Logic in Computer Science, Edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 Pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
  12. Presentación de las Actas del Congreso Inter. Pensar para el nuevo siglo. Giambattista Vico y la cultura europea . Presentaciones en Sevilla , París y Nápoles. [REVIEW]Aa Vv, J. Sevilla, P. Girard & G. Cacciatore - unknown - Cuadernos Sobre Vico 13:277-286.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  4
    Proofs and Types.Jean-Yves Girard - 1989 - Cambridge University Press.
    This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & (...)
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  14.  36
    Advances in Linear Logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - Cambridge University Press.
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Penser À Dieu En L'Aimant. Philosophie Et Théologie de J.-L. Marion.J. -Y. Lacoste - 1987 - Archives de Philosophie 50 (2):245-270.
     
    Export citation  
     
    Bookmark  
  16. GREIG, J. Y. T. -The Psychology of Laughter and Comedy. [REVIEW]J. C. Gregory - 1924 - Mind 33:97.
     
    Export citation  
     
    Bookmark  
  17.  51
    J. VUILLEMIN: “Nécessité ou contingence, l’aporie de Diodore et les systèmes philosophiques”; Paris, Fondation Singer-Polignac et les Editions de Minuit, 1984, 446 p. [REVIEW]J. Y. Goffi - 1987 - Grazer Philosophische Studien 30 (1):173-178.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  6
    J. VUILLEMIN: “Nécessité ou contingence, l’aporie de Diodore et les systèmes philosophiques”; Paris, Fondation Singer-Polignac et les Editions de Minuit, 1984, 446 p. [REVIEW]J. Y. Goffi - 1987 - Grazer Philosophische Studien 30 (1):173-178.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Muga, J. y Cabada, M. (editores): Antropología filosófica. Planteamientos.J. Ruíz Díaz - 1987 - Diálogo Filosófico 7:105-108.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  17
    Quasicrystals and Model Sets on Substitution Point Sets.J. -Y. Lee - 2006 - Philosophical Magazine 86 (6-8):915-920.
  21.  9
    Luke Russell, Being Evil.J. Y. Lee - 2022 - Journal of Moral Philosophy 19 (1):91-94.
  22.  13
    The Limitations of Liberal Reproductive Autonomy.J. Y. Lee - 2022 - Medicine, Health Care and Philosophy 25 (3):523-529.
    The common liberal understanding of reproductive autonomy – characterized by free choice and a principle of non-interference – serves as a useful way to analyse the normative appeal of having certain choices open to people in the reproductive realm, especially for issues like abortion rights. However, this liberal reading of reproductive autonomy only offers us a limited ethical understanding of what is at stake in many kinds of reproductive choices, particularly when it comes to different uses of reproductive technologies and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  11
    Droll Lectures.J. -Y. Lazennec & M. -P. Huglo - 2004 - Substance 33 (2):30-33.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Minima Balthasariana. Fragments d'un séminaire.J. -Y. Lacoste, P. Gilbert, M. Moscow & R. Lafontaine - 1986 - Revue Thomiste 86 (4):606-643.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Du phénomène de la valeur au discours de la norme.J. -Y. Lacoste - 1997 - Freiburger Zeitschrift für Philosophie Und Theologie 44 (1-2):87-103.
     
    Export citation  
     
    Bookmark  
  26. Bâtir, habiter, prier (I).J. -Y. Lacoste - 1987 - Revue Thomiste 87 (3):357-390.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  27.  15
    Perceiving Time: A Psychological Investigation with Men and Women. [REVIEW]Y. J. - 1977 - Review of Metaphysics 30 (3):525-526.
    Cottle has presented an interesting set of empirical observations and placed them in a broad philosophical framework. The data pertain to ways young adults categorize their life spans into time zones. Special attention is paid to empirical differences between female and male respondents. And attempts are made to classify persons according to general time perspectives they use.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  40
    Ayahuasca and Sumak Kawsay: Challenges to the Implementation of the Principle of “Buen Vivir,” Religious Freedom, and Cultural Heritage Protection.Carlos Teodoro J. H. Irigaray, Pierre Girard, Maíra Irigaray & Carolina Joana Silva - 2016 - Anthropology of Consciousness 27 (2):204-225.
    The current environmental crisis can be approached, through many perspectives, as a civilizational crisis. Alternatives of human transcendence are identified in the Inca civilization to compensate for the malaise that characterizes the actual crisis. There is a multicultural dimension to the manifestations of Hoasca occurring in Amazonian countries. As employed by the Beneficent Spiritist Center União do Vegetal in a religious context, it can contribute to the reconstruction of buen vivir, which served as the principle of the civilizations that preceded (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  35
    Paranoid Delusions and Threatening Hallucinations: A Prospective Study of Sleep Paralysis Experiences☆.J. Allan Cheyne & Todd A. Girard - 2007 - Consciousness and Cognition 16 (4):959-974.
    Previously we reported a three-factor structure for hallucinations accompanying sleep paralysis . These earlier analyses were, however, based on retrospective accounts. In a prospective study, 383 individuals reported individual episodes online providing further evidence for the three-factor structure as well as clearer conceptually meaningful relations among factors than retrospective studies. In addition, reports of individual episodes permitted a more fine-grained analysis of the internal structure of factors to assess predictions based on the hypothesis that a sensed or felt presence is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  30. Religion in Russia To-Day.J. Y. Simpson - 1915 - Hibbert Journal 14:393.
     
    Export citation  
     
    Bookmark  
  31. The Fitness of the Environment.J. Y. Simpson - 1914 - Philosophical Review 23:236.
  32. GREIG, J. Y. S. - Letters of David Hume. [REVIEW]N. Kemp Smith - 1933 - Mind 42:523.
     
    Export citation  
     
    Bookmark  
  33. Des lieux pour transmettre.J.-Y. Baziou, A. Fossion & J. Joncheray - 1993 - Recherches de Science Religieuse 81 (1):75-92.
    No categories
     
    Export citation  
     
    Bookmark  
  34. JY Lettvin on Grandmother Cells.J. Y. Lettvin - 1995 - In Michael S. Gazzaniga (ed.), The Cognitive Neurosciences. MIT Press. pp. 434--435.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  35.  10
    Abortion & Artificial Wombs.J. Y. Lee & Andrea Bidoli - 2021 - Philosophy Now 144:26-27.
    Abortion is the deliberate termination of a pregnancy. In current practice, this involves the death of the foetus. Consequently, the debate on whether those experiencing an unwanted pregnancy have the right to abortion is usually dichotomized as a matter of pro-choice versus pro-life. Pro-choice advocates maintain that abortion is acceptable under various circumstances. The idea that we ought to respect pregnant people’s rights to choose what to do with their bodies – respect for bodily autonomy – is cited as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  24
    Interface Reactions in a Chromium Buffer Layer Deposited Between Stainless Steel and a Silicon Substrate.J. Y. Huang *, L. C. Zhang, S. Chen, D. Z. Wang, S. H. Jo, W. Z. Li & Z. F. Ren * - 2005 - Philosophical Magazine 85 (14):1459-1471.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  9
    Crystallographic Studies on the Iron-Containing Intermetallic Phases in the 319-Type Aluminium Casting Alloys.J. Y. Hwang, H. W. Doty & M. J. Kaufman - 2008 - Philosophical Magazine 88 (4):607-619.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  25
    The Late Professor R. F. A. Hoernlé.J. Y. T. Greig - 1944 - Philosophy 19 (74):286-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  34
    J.-Y. Lacoste, La phénoménalité de Dieu.Erik Meganck - 2009 - Tijdschrift Voor Filosofie 71 (3):647-648.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. What is a Possible World.J. Y. Béziau - 2010 - In Guido Imaguire & Dale Jacquette (eds.), Possible Worlds: Logic, Semantics and Ontology. Philosophia. pp. 25--37.
     
    Export citation  
     
    Bookmark  
  41. Nouveau regard et nouveaux résultats sur la logique paraconsistante C1.J. Y. Béziau - 1993 - Logique Et Analyse 36:45-58.
     
    Export citation  
     
    Bookmark   2 citations  
  42. Identity, Logic and Structure.J. Y. Béziau - 1996 - Bulletin of the Section of Logic 25:89-94.
  43. Philosophy and Religion in the Works of Gaston Fessard.J. Y. Calvez - 2000 - Archives de Philosophie 63 (2):255-262.
     
    Export citation  
     
    Bookmark  
  44.  4
    Classical Negation Can Be Expressed by One of its Halves.J.-Y. Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.
    We present the logic K/2 which is a logic with classical implication and only the left part of classical negation.We show that it is possible to define a classical negation into K/2 and that the classical proposition logic K can be translated into this apparently weaker logic.We use concepts from model-theory in order to characterized rigorously this translation and to understand this paradox. Finally we point out that K/2 appears, following Haack's distinction, both as a deviation and an extension of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  45.  16
    J.-Y. Maleuvre: La Mort de Virgile D'Après Horace Et Ovide. (Textes Et Images de ĿAntiquité, 3.) Pp. Viii+274+Iii. Paris: Jean Touzot, 1993. Paper, 360FF.D. H. Berry - 1995 - The Classical Review 45 (1):164-164.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  25
    J.-Y. Maleuvre: La Mort de Virgile D'Après Horace Et Ovide. (Textes Et Images de ĿAntiquité, 3.) Pp. Viii+274+Iii. Paris: Jean Touzot, 1993. Paper, 360FF. [REVIEW]D. H. Berry - 1995 - The Classical Review 45 (01):164-.
  47. The Letters of David Hume: Volume 2.J. Y. T. Greig (ed.) - 2011 - Oxford University Press.
    This classic edition presents the correspondence of one of the great thinkers of the 18th century, and offers a rich picture of the man and his age. This second volume contains David Hume's letters from 1766 to 1776. Hume's correspondents include such famous public figures as Jean-Jacques Rousseau, Adam Smith, James Boswell, and Benjamin Franklin.
     
    Export citation  
     
    Bookmark  
  48.  12
    The Letters of David Hume: Volume 1.J. Y. T. Greig (ed.) - 2011 - Oxford University Press.
    This classic edition presents the correspondence of one of the great thinkers of the 18th century, and offers a rich picture of the man and his age. This first volume contains David Hume's letters from 1727 to 1765. Hume's correspondents include such famous public figures as Jean-Jacques Rousseau, Adam Smith, James Boswell, and Benjamin Franklin.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    Obituary: R. F. A. Hoernlé.J. Y. T. Greig - 1944 - Philosophy 19 (74):286 - 287.
  50. Letters of David Hume.J. Y. S. Greig - 1933 - Mind 42 (168):523-528.
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000