Search results for 'Marko Barendregt' (try it on Scholar)

232 found
Sort by:
  1. Marko Barendregt & René Van Hezewijk (2005). Adaptive and Genomic Explanations of Human Behaviour: Might Evolutionary Psychology Contribute to Behavioural Genomics? [REVIEW] Biology and Philosophy 20 (1):57-78.score: 120.0
    . Evolutionary psychology and behavioural genomics are both approaches to explain human behaviour from a genetic point of view. Nonetheless, thus far the development of these disciplines is anything but interdependent. This paper examines the question whether evolutionary psychology can contribute to behavioural genomics. Firstly, a possible inconsistency between the two approaches is reviewed, viz. that evolutionary psychology focuses on the universal human nature and disregards the genetic variation studied by behavioural genomics. Secondly, we will discuss the structure of biological (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Marko Barendregt (2003). Genetic Explanation in Psychology. Journal of Mind and Behavior 24 (1):67-90.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  3. Wil Dekkers, Martin Bunder & Henk Barendregt (1998). Completeness of Two Systems of Illative Combinatory Logic for First-Order Propositional and Predicate Calculus. Archive for Mathematical Logic 37 (5-6):327-341.score: 60.0
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Vladimir Marko (2011). Looking for the Lazy Argument Candidates. Organon F 18 (3 & 4):363-383; 447-474.score: 30.0
    The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Henk Barendregt, Buddhist Phenomenology.score: 30.0
  6. Vladimir Marko (2012). Some Sketchy Notes on the Reaper Argument. Organon F 19 (3):361-387.score: 30.0
    The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Henk Barendregt (forthcoming). The Abidhamma Model of Consciousness and its Consequences. In M.G.T. Kwee, K.J. Gergen & F. Koshikawa (eds.), Buddhist Psychology: Practice, Research & Theory. Taos Institute Publishing, Taos, New Mexico.score: 30.0
  8. Henk Barendregt (1997). The Impact of the Lambda Calculus in Logic and Computer Science. Bulletin of Symbolic Logic 3 (2):181-215.score: 30.0
    One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Wil Dekkers, Martin Bunder & Henk Barendregt (1998). Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic. Journal of Symbolic Logic 63 (3):869-890.score: 30.0
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.score: 30.0
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Henk Barendregt (1973). A Characterization of Terms of the |Lambda I-Calculus Having a Normal Form. Journal of Symbolic Logic 38 (3):441 - 445.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Henk Barendregt, Jan Bergstra, Jan Willem Klop & Henri Volken (1978). Degrees of Sensible Lambda Theories. Journal of Symbolic Logic 43 (1):45-55.score: 30.0
    A λ-theory T is a consistent set of equations between λ-terms closed under derivability. The degree of T is the degree of the set of Godel numbers of its elements. H is the $\lamda$ -theory axiomatized by the set {M = N ∣ M, N unsolvable. A $\lamda$ -theory is sensible $\operatorname{iff} T \supset \mathscr{H}$ , for a motivation see [6] and [4]. In § it is proved that the theory H is ∑ 0 2 -complete. We present Wadsworth's proof (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Kurt Marko (1998). Boris Chasanow – Writer in Freedom? Herkommen Und Vertreibung: Zwei Millennien. Studies in East European Thought 50 (3):231-246.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Kurt Marko, K. M. Jensen, M. C. Chapman, Michael M. Boll, Mitchell Aboulafia, Charles E. Ziegler, Trudy Conway, Thomas A. Shipka, Fred Lawrence, James G. Colbert, John W. Murphy, Robert B. Louden & Maureen Henry (1983). Reviews. [REVIEW] Studies in East European Thought 25 (2):267-271.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Kurt Marko (1986). The Legitimacy of Totalitarianism — a Pseudo-Problem? Studies in East European Thought 31 (3):239-242.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Kurt Marko (1975). The Soviet Union Then and Now: Some Recent Publications on the Soviet Union. Studies in East European Thought 15 (2):129-144.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini (1983). A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic 48 (4):931-940.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. H. P. Barendregt (2013). Lambda Calculus with Types. Cambridge University Press.score: 30.0
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Oliva Blanchette, Kurt Marko, David Ingram, John W. Murphy, Irving H. Anellis, Vladimir Zeman & Thomas Nemeth (1986). Reviews. [REVIEW] Studies in East European Thought 31 (2):135-137.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Assen Ignatow, Kurt Marko, M. C. Chapman & John W. Murphy (1983). Reviews. [REVIEW] Studies in East European Thought 26 (1):227-229.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Jonathan S. Marko (2010). Revisiting the Question. Philosophy and Theology 22 (1/2):77-104.score: 30.0
    In this article I argue that the 1729 Dissertation on Liberty and Neces­sity should be attributed to Anthony Collins. This was the prevailing view until the publication of James O’Higgins’s 1970 biography of Collins. Since then, most have followed Collins’s modern-day biographer in denying that Collins penned the Dissertation. After reviewing O’Higgins’s six reasons for rejecting Collins as the author, I respond to the substantive issues in what follows. Part I is a historical positioning of the Clarke-Collins liberty-necessity debate where (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Kurt Marko (1998). Sicherheit Vor, Mit Rußland? Nato-Osterweiterung Und Folgen. Studies in East European Thought 50 (3):201-229.score: 30.0
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  23. Hendrik Pieter Barendregt (2003). A Wide-Spectrum Coordination Model of Schizophrenia. Behavioral and Brain Sciences 26 (1):84-85.score: 30.0
    The target article presents a model for schizophrenia extending four levels of abstraction: molecules, cells, cognition, and syndrome. An important notion in the model is that of coordination, applicable to both the level of cells and of cognition. The molecular level provides an “implementation” of the coordination at the cellular level, which in turn underlies the coordination at the cognitive level, giving rise to the clinical symptoms.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Kurt Marko (1970). Marx and Hegel. From Speculation to Dialectics. Philosophy and History 3 (1):35-36.score: 30.0
  25. Kurt Marko (1983). Over Again: The Main Causes of 'Modern' Totalitarianism. Studies in East European Thought 25 (2):113-115.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Kurt Marko, K. M. Jensen, William Gavin & Tom Rockmore (1982). Reviews. [REVIEW] Studies in East European Thought 23 (4):333-352.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Kurt Marko & Alex Kozulin (1985). Reviews. [REVIEW] Studies in East European Thought 29 (4):227-229.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. Kurt Marko, Thomas Nemeth, Michael M. Boll, Louis Dupré, Fred Seddon & Oliva Blanchette (1987). Reviews. [REVIEW] Studies in East European Thought 34 (3):135-137.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  29. Kurt Marko (1970). The Two Mazes of Philosophy. Considerations, Based on Systematic Theory, of the Fundamental Philosophy of Western Thought. Philosophy and History 3 (1):26-28.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Stephen Whitmarsh, Julia Uddén, Henk Barendregt & Karl Magnus Petersson (2013). Mindfulness Reduces Habitual Responding Based on Implicit Knowledge: Evidence From Artificial Grammar Learning. Consciousness and Cognition 22 (3):833-845.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Michael J. Zenzen, John W. Murphy, Michael Henry, Christine Sypnowich & Kurt Marko (1989). Reviews. [REVIEW] Studies in East European Thought 37 (1):37-51.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  32. R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw (1995). Abrahamson, KA, Downey, RG and Fellows, MR. Annals of Pure and Applied Logic 73:327.score: 30.0
     
    My bibliography  
     
    Export citation  
  33. Henk Barendregt (1995). Enumerators of Lambda Terms Are Reducing Constructively. Annals of Pure and Applied Logic 73 (1):3-9.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. H. P. Barendregt (1971). On the Interpretation of Terms Without a Normal Form. Utrecht,Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6).score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  35. Henk Barendregt (1974). Pairing Without Conventional Restraints. Mathematical Logic Quarterly 20 (19‐22):289-306.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Henk Barendregt (1977). Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW] Journal of Symbolic Logic 42 (1):109-110.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Henk Barendregt (1973). Review: J. R. Hindley, B. Lercher, J. P. Seldin, Introduction to Combinatory Logic. [REVIEW] Journal of Symbolic Logic 38 (3):518-518.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. H. P. Barendregt (1976). The Incompleteness Theorems. Rijksuniversiteit Utrecht, Mathematisch Instituut.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  39. H. P. Barendregt (1984). The Lambda Calculus: Its Syntax and Semantics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 30.0
    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
     
    My bibliography  
     
    Export citation  
  40. H. P. Barendregt (1992). Typed Lambda Calculi. S. Abramsky Et AL. In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. 117--309.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  41. Henk P. Barendregt, Wil Dekkers & Richard Statman (1977). Typed Lambda Calculus. In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. 1091--1132.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Henk Barendregt (2009). Wiskunde, mystiek en natuurwetenschappen. Filosofie En Praktijk 30 (4):50.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Suhail A. R. Doi, Jan J. Barendregt & Adedayo A. Onitilo (2013). Methods for the Bias Adjustment of Meta-Analyses of Published Observational Studies. Journal of Evaluation in Clinical Practice 19 (4):653-657.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. K. Kunen, A. Nerode, A. Prestel, P. Aczel, Hp Barendregt, E. Borger, Jn Crossley, E. Engeler, P. Hajek & Ba Kushner (1984). Managing Editors D. Van Dalen Y. Gurevich J. Hartmanis. Annals of Pure and Applied Logic 26:101.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  45. Kurt Marko (1973). A Note on Contemporary Soviet Ideology. Studies in East European Thought 13 (1-2):92-93.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Kurt Marko (1969). Answers to Herbert Marcuse. Philosophy and History 2 (1):17-18.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Kurt Marko (1989). Anmerkungen Zum Real Existierenden Totalitarismus Und Zu Seinen Apologeten Unter Uns. Studies in East European Thought 38 (2):165-181.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  48. Vladimír Marko (1995). Callimachus' Puzzle about Diodorus. Organon F 2 (4):342-367.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Kurt Marko (1987). Chasanow Zu Entdecken. Studies in East European Thought 33 (3):245-250.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. Kurt Marko (1985). Der Monat. Studies in East European Thought 29 (4):319-320.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 232