Order:
Disambiguations
Janet E. Smith [28]Janet Smith [8]Jan M. Smith [8]Janet Farrell Smith [6]
Jan Smith [6]Jane A. Smith [3]Jane I. Smith [2]Jane Smith [2]

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

  1.  12
    Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.
    In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  2.  35
    Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
    Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  3. Lives in the balance: the ethics of using animals in biomedical research: the report of a Working Party of the Institute of Medical Ethics.Jane A. Smith & Kenneth M. Boyd (eds.) - 1991 - New York: Oxford University Press.
    This book is the result of a three-year study undertaken by a multidisciplinary working party of the Institute of Medical Ethic (UK). The group was chaired by a moral theologian, and its members included biological and ethological scientists, toxicologists, physicians, veterinary surgeons, an expert in alternatives to animal use, officers of animal welfare organizations, a Home Office Inspector, philosophers, and a lawyer. Coming from these different backgrounds, and holding a diversity of moral views, the members produced the agreed report as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  4. The Russell-meinong debate.Janet Farrell Smith - 1985 - Philosophy and Phenomenological Research 45 (3):305-350.
  5.  52
    Formal topologies on the set of first-order formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  8
    Twenty Five Years of Constructive Type Theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Clarendon Press.
    Martin-Löf Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Löf's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas such as computing science and linguistics. This volume celebrates the twenty-fifth anniversary of the birth of the subject, and is an invaluable record both of areas of currentactivity and of the early development of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. The preeminence of autonomy in bioethics.Janet E. Smith - 1997 - In David S. Oderberg & Jacqueline A. Laing (eds.), Human lives: critical essays on consequentialist bioethics. New York, N.Y.: St. Martin's Press. pp. 182--195.
     
    Export citation  
     
    Bookmark   8 citations  
  8.  72
    An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
    We present a formal theory of propositions and combinator terms, and in this theory we give an interpretation of Martin-Löf's type theory. The construction of the interpretation is inspired by the semantics for type theory, but it can also be viewed as a formalized realizability interpretation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9. Humanae Vitae: A Generation Later.Janet E. SMITH - 1991
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  10. The morality of condom use by HIV-infected spouses.Janet E. Smith - 2006 - The Thomist 70 (1):27-69.
  11.  16
    Programming in Martin-Löf's Type Theory. An Introduction.Kent Petersson & Jan M. Smith - 1992 - Journal of Symbolic Logic 57 (1):272-274.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  39
    Possessive Power.Janet Farrell Smith - 1986 - Hypatia 1 (2):103 - 120.
    The concept of possessive power as it manifests in reproductions is the focus of criticism in this paper. The analysis utilizes both positive insights and illustrative mistakes from Beauvoir's account of maternity. An alternative notion of power is proposed to replace possessive power as proprietary control.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  50
    The independence of peano's fourth axiom from Martin-löf's type theory without universes.Jan M. Smith - 1988 - Journal of Symbolic Logic 53 (3):840-845.
  14.  40
    Collaborative Research Involving Human Subjects: A Survey of Researchers Using International Single Project Assurances.Alison Wichman, Janet Smith, Deloris Mills & Alan L. Sandler - 1997 - IRB: Ethics & Human Research 19 (1):1.
  15. The Univerality of Natural Law and Irreducibility of Personalism.Janet E. Smith - 2013 - Nova et Vetera 11 (4).
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  16.  21
    I Knit You in Your Mother's Womb.Janet E. Smith - 2002 - Christian Bioethics 8 (2):125-146.
    Janet E. Smith; I Knit You in Your Mother's Womb, Christian bioethics: Non-Ecumenical Studies in Medical Morality, Volume 8, Issue 2, 1 January 2002, Pages 125–.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. 'Von der Armut am Geiste': A Dialogue by the Young Lukács.Jane M. Smith & John T. Sanders - 2009 - In Katie Terezakis (ed.), Engaging Agnes Heller: A Critical Companion. Lexington Books.
    Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  27
    Structure‐guided insights on the role of NS1 in flavivirus infection.David L. Akey, W. Clay Brown, Joyce Jose, Richard J. Kuhn & Janet L. Smith - 2015 - Bioessays 37 (5):489-494.
    We highlight the various domains of the flavivirus virulence factor NS1 and speculate on potential implications of the NS1 3D structure in understanding its role in flavivirus pathogenesis. Flavivirus non‐structural protein 1 (NS1) is a virulence factor with dual functions in genome replication and immune evasion. Crystal structures of NS1, combined with reconstructions from electron microscopy (EM), provide insight into the architecture of dimeric NS1 on cell membranes and the assembly of a secreted hexameric NS1‐lipid complex found in patient sera. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  28
    Twenty-five years of constructive type theory: proceedings of a congress held in Venice, October 1995.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - New York: Oxford University Press.
    This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
     
    Export citation  
     
    Bookmark   2 citations  
  21.  16
    Sterilizations Reconsidered?Janet E. Smith - 1998 - Christian Bioethics 4 (1):45-62.
    Cowdin and Tuohey argue for a rethinking of Catholic bioethical principles and the Church's moral authority. Citing the Second Vatican council for support, they argue that if the Church were to respect the proper autonomy of medicine, it would allow sterilizations. In this essay I argue against Cowdin and Tuohey's understanding that the Church has derived its moral laws independent of consultation with medicine and that it treats medicine simply as a source of technical expertise. I also argue that they (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  27
    Initial Reactions to the Recent CDF Responsum on Hysterectomy.Nicanor Austriaco, Janet E. Smith, Elliott Louis Bedford, Travis Stephens & C. Ryan McCarthy - 2018 - The National Catholic Bioethics Quarterly 18 (4):647-669.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  14
    On the discrimination of minimal differences in weight: II. Number of available elements as variant.Alfred H. Holway, Janet E. Smith & Michael J. Zigler - 1937 - Journal of Experimental Psychology 20 (4):371.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    On the discrimination of minimal differences in weight. III. The role of frequency.Alfred H. Holway, Janet E. Smith & Michael J. Zigler - 1937 - Journal of Experimental Psychology 21 (4):423.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Analyzing Ethical Conflict in the Transracial Adoption Debate: Three Conflicts Involving Community.Janet Farrell Smith - 1996 - Hypatia 11 (2):1 - 33.
    This essay explores ethical conflicts underlying the discourse of the policy debate about transracial adoption, focusing on the adoption of Black children by whites. Three underlying conflicts are analyzed, namely, the values of equality versus community, interracial community versus multiculturalism, individuality versus racial-ethnic community. The essay concludes with observations on multicultural families.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  9
    Propositional functions and families of types.Jan M. Smith - 1989 - Notre Dame Journal of Formal Logic 30 (3):442-458.
  27.  20
    Animals, science, and ethics--Section III. Critical anthropomorphism, animal suffering, and the ecological context.David B. Morton, G. M. Berghardt & Jane A. Smith - 1990 - Hastings Center Report 20 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    Eleanor H. Kuykendall 1938-1993.Phyllis S. Morris & Janet Farrell Smith - 1994 - Proceedings and Addresses of the American Philosophical Association 67 (4):143 - 144.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Martin-Löf’s Type Theory, Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods.Bengt Nordström, Kent Petersson & Jan M. Smith - 2001 - Oxford University Press, Oxford.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  30.  22
    Abortion and Moral Development Theory: Listening with Different Ears.Janet E. Smith - 1988 - International Philosophical Quarterly 28 (1):31-51.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  55
    Are Natural and Unnatural Appetites Equally Controllable? A Response to Jensen's “Is Continence Enough?”.Janet E. Smith - 2004 - Christian Bioethics 10 (2-3):177-188.
    This response challenges Jensen's analysis in no substantial way. Rather, it explains more fully some of the moral character categories that Aristotle provides. It argues that Aristotle understood there to be two forms of continence: the continence that enables us to control natural appetites and “some form” of continence directed towards unnatural appetites, generally engendered by some pathology or abuse.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  32. A Tribute To Ralph Mcinerny.Janet Smith - 2010 - Nova et Vetera 8:501-504.
     
    Export citation  
     
    Bookmark  
  33. Conscious Parenthood.Janet Smith - 2008 - Nova et Vetera 6:927-950.
     
    Export citation  
     
    Bookmark  
  34.  26
    Can Virture be in the Service of Bad Acts?Janet Smith - 1984 - New Scholasticism 58 (3):357-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  35
    Diamond, Eugene F., M.D. A Catholic Guide to Medical Ethics: Catholic Principles in Clinical Practice.Janet E. Smith - 2002 - The National Catholic Bioethics Quarterly 2 (2):346-348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. English I Ms. Pawlik January 6, 2005 The Power of Imagination.Jane Smith - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  16
    John Cuthbert Ford, S.J.: Moral Theologian at the End of the Manualist Era by Eric Marcelo O. Genilo, S.J.Janet E. Smith - 2009 - The National Catholic Bioethics Quarterly 9 (4):799-802.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  25
    John Lever and Johan Fischer: Religion, regulation, consumption: globalising kosher and halal markets: Manchester University Press, Manchester, UK, 2018, 185 pp, ISBN 978-1-5261-0364-2.Janet Smith - 2019 - Agriculture and Human Values 36 (2):365-366.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    Life issues, medical choices: questions and answers for Catholics.Janet E. Smith - 2016 - Cincinnati, OH: Servant, an imprint of Franciscan Media. Edited by Christopher Kaczor.
    Fundamentals -- Beginning-of-life issues -- Reproductive technologies -- Contraception, sterilization, and natural family planning -- End-of-life issues -- Cooperation with evil -- Respect for the body -- The ten commandments for health care professionals and patients.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Moral Methodologies: Proportionalism.Janet E. Smith - 1994 - Ethics and Medics 19 (6):1-3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  20
    Morals, Reason and Animals.Jane A. Smith - 1991 - Journal of Medical Ethics 17 (3):167-167.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Mark Twain on the Damned Human Race.Janet Smith, Bernard Devoto, Louis J. Budd & Roger B. Salomon - 1964 - Science and Society 28 (1):105-111.
     
    Export citation  
     
    Bookmark  
  43. Natural Law and Sexual Ethics.Janet Smith - 2000 - In Edward B. McLean (ed.), Common truths: new perspectives on natural law. Wilmington, Del.: ISI Books. pp. 193--215.
     
    Export citation  
     
    Bookmark  
  44.  33
    On Immunity: An Inoculation: Eula Biss, 2014, Graywolf Press.Jane Smith - 2016 - Journal of Bioethical Inquiry 13 (2):349-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  45
    Plato′s Myths as “Likely Accounts”, Worthy of Belief.Janet E. Smith - 1985 - Apeiron 19 (1):24 - 42.
  46.  32
    Reclaiming or Rewriting the Tradition?Janet E. Smith - 2001 - American Catholic Philosophical Quarterly 75 (4):585-595.
    My assessment of Jean Porter's Natural and Divine Law is mixed. She provides a generally accurate account of the scholastic theory of natural law, since she steers clear of the erroneous notion that its understanding of "nature" was confined to the physical or biological and rightly notes that "nature" refers to the fullness of human nature. Her account of modern natural law theory is less reliable; for she ignores the work of several prominent contemporary natural law theorists and regrettably caricatures (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  17
    Russell's Re-Evaluation of Meinong, 1913-14: an Analysis of Acquaintance.Janet Farrell Smith - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1):179.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    Reply to Gass.Janet E. Smith - 1993 - International Philosophical Quarterly 33 (2):233-238.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  23
    Self-Gift: The Heart of Humanae vitae.Janet E. Smith, John S. Grabowski, J. Budziszewski & Maria Fedoryka - 2016 - The National Catholic Bioethics Quarterly 16 (3):449-474.
    It is possible to defend the Church’s teaching that contraception is incompatible with God’s plan for sexuality in many different ways. This essay sketches the fundamental views of reality common to all the defenses and the main lines of the most prominent defenses, some based on natural law, on the theology of the body, and on the physical, psychological, and social consequences of the use of contraception. While all the defenses have merit, the argument based on the recognition that sexual (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. The Krakow Document.Janet Smith - 2012 - Nova et Vetera 10:361-381.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 66