Results for 'Henk P. Barendregt'

1000+ found
Order:
  1. Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
     
    Export citation  
     
    Bookmark   5 citations  
  2.  15
    J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp. [REVIEW]Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):518.
  3.  17
    Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
  4.  24
    Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
  5.  46
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  6.  9
    Validation of the Apperception Test God Representations: An implicit measure to assess attachment to God representations. Associations with explicit attachment to God measures and with implicit and explicit measures of distress.Henk P. Stulp, Jurrijn Koelen, Gerrit G. Glas & Liesbeth Eurelings-Bontekoe - 2020 - Archive for the Psychology of Religion 42 (2):262-291.
    In the context of theistic religions, God representations are an important factor in explaining associations between religion/spirituality and well-being/mental health. Although the limitations of self-report measures of God representations are widely acknowledged, well-validated implicit measures are still unavailable. Therefore, we developed an implicit Attachment to God measure, the Apperception Test God Representations. In this study, we examined reliability and validity of an experimental scale based on attachment theory. Seventy-one nonclinical and 74 clinical respondents told stories about 15 cards with images (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  6
    Supporting the call for improving the code of publication ethics to incorporate editorial decisions regarding the causation of harm by publication.Henk P. Giele - 2021 - Clinical Ethics 16 (3):163-164.
    It is argued that editors have a moral responsibility to reject submissions that they felt publication of which may cause harm. However, Ploeg and others suggest that there may exist better alternatives to rejection. He also called for the code of publication ethics to incorporate acknowledgement of the moral responsibility for the effects of publishing, define benefits and harms of publishing, and specify a range of actions an editor may take. This letter highlights a recent such rejection ostensibly made on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  19
    Fixed point theorems for precomplete numberings.Henk Barendregt & Sebastiaan A. Terwijn - 2019 - Annals of Pure and Applied Logic 170 (10):1151-1161.
    In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  24
    Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  17
    A characterization of terms of the λI-calculus having a normal form.Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):441-445.
  11.  36
    Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Buddhist phenomenology.Henk Barendregt - 1987
  13.  50
    A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.
  14.  42
    Enumerators of lambda terms are reducing constructively.Henk Barendregt - 1995 - Annals of Pure and Applied Logic 73 (1):3-9.
    A closed λ-term E is called an enumerator if M ε /gL/dg /gTn ε N E/drn/dl = β M. Here Λ° is the set of closed λ-terms, N is the set of natural numbers and the /drn/dl are the Church numerals λfx./tfnx. Such an E is called reducing if moreover M ε /gL/dg /gTn ε N E/drn/dl /a/gb M. In 1983 I conjectured that every enumerator is reducing. An ingenious recursion theoretic proof of this conjecture by Statman is presented in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
    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 (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16. The abidhamma model of consciousness and its consequences.Henk Barendregt - forthcoming - In M.G.T. Kwee, K.J. Gergen & F. Koshikawa (eds.), Buddhist Psychology: Practice, Research & Theory. Taos Institute Publishing, Taos, New Mexico.
  17.  57
    Degrees of sensible lambda theories.Henk Barendregt, Jan Bergstra, Jan Willem Klop & Henri Volken - 1978 - Journal of Symbolic Logic 43 (1):45-55.
    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 (8 more)  
     
    Export citation  
     
    Bookmark  
  18. Wiskunde, mystiek en natuurwetenschappen.Henk Barendregt - 2009 - Filosofie En Praktijk 30 (4):50.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  37
    The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
  20.  71
    Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
    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 (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21. On the interpretation of terms without a normal form.H. P. Barendregt - 1971 - Utrecht,: Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6). Edited by H. P. Barendregt.
     
    Export citation  
     
    Bookmark  
  22. The incompleteness theorems.H. P. Barendregt - 1976 - Utrecht: Rijksuniversiteit Utrecht, Mathematisch Instituut.
     
    Export citation  
     
    Bookmark   1 citation  
  23. Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
     
    Export citation  
     
    Bookmark   6 citations  
  24.  78
    Mindfulness reduces habitual responding based on implicit knowledge: Evidence from artificial grammar learning.Stephen Whitmarsh, Julia Uddén, Henk Barendregt & Karl Magnus Petersson - 2013 - Consciousness and Cognition 22 (3):833-845.
    Participants were unknowingly exposed to complex regularities in a working memory task. The existence of implicit knowledge was subsequently inferred from a preference for stimuli with similar grammatical regularities. Several affective traits have been shown to influence AGL performance positively, many of which are related to a tendency for automatic responding. We therefore tested whether the mindfulness trait predicted a reduction of grammatically congruent preferences, and used emotional primes to explore the influence of affect. Mindfulness was shown to correlate negatively (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  40
    Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  53
    Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  38
    Boekbesprekingen.P. Ahsmann, J.-M. Tison, L. Dequeker, H. Van Leeuwen, R. G. W. Huysmans, Jos Vercruysse, W. G. Tillmans, P. Fransen, J. Y. H. Jacobs, Hans Goddijn, A. A. Derksen, H. G. Hubbeling, Henk van Luijk, A. Poncelet, J. H. Kamstra & C. J. M. Donders - 1976 - Bijdragen 37 (1):94-113.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    Bookreviews.P. C. Beentjes, Bart J. Koet, Joke H. A. Brinkhof, Henk Witte, Rob Faesen, Ton Meijers, Johan Cruijff, Willem Marie Speelman, Koenraad Verrycken, Sven Braspenning, G. Van Eekert, M. Moyaert, Frank G. Bosman, Walter Van Herck, Petér Losonczi, Nico Schreurs, Petér Reynaert & Edwin Koster - 2009 - Bijdragen 70 (4):470-493.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  40
    Brill Online Books and Journals.Henk J. M. Schoot, Thomas Sullivan, William C. Charron & John P. Doyle - 1993 - Vivarium 31 (2):241-266.
  30.  8
    Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  31
    Boekbesprekingen.P. C. Beentjes, J. Lambrecht, Hendrik Hoet, Jaap van der Meij, W. G. Tillmans, Marcel Poorthuis, Th C. de Kruijf, B. Dehandschutter, Martin Parmentier, L. van Tongeren, Th Bell, J. Y. H. A. Jacobs, A. J. M. van der Helm, Hans Goddijn, H. J. Adriaanse, H. Rikhof, A. Braeckman, Henk Hoekstra & Johan G. Hahn - 1992 - Bijdragen 53 (1):86-111.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  32
    Boekbesprekingen.P. C. Beentjes, W. G. Tillmans, Kitty Mul, J. Lambrecht, ThC de Kruijf, Marc Schneiders, Hans Goddijn, Henk J. M. Schoot, Jan Lambrecht, J. Y. H. A. Jacobs, G. Rouwhorst, F. J. Theunis, D. J. Leys, Drs Jlm Vis, Drs J. L. M. Vis, A. Braeckman, A. Pavert, A. van de Pavert, E. Dirven, Joan Hemels & Joh G. Hahn - 1990 - Bijdragen 51 (4):440-463.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  32
    Boekbesprekingen.P. C. Beentjes, Archibald L. H. M. van Wieringen, J. T. A. G. M. van Ruiten, Jan Lambrecht, Adelbert Denaux, A. H. C. van Eijk, Liuwe H. Westra, Th Bell, Henk Witte, G. Rouwhorst, István Bejczy, Theo Salemink, H. J. Adriaanse, R. G. W. Huysmans & Arie L. Molendijk - 1996 - Bijdragen 57 (3):337-355.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  17
    Boekbesprekingen.P. C. Beentjes, Theo de Kruijf, Martin Parmentier, Th Bell, Didier Pollefeyt, Erik Sengers, Jörgen Vijgen, Walter Van Herck, Staf Hellemans, Henk Burggraaff & A. H. C. Van Eijk - 2001 - Bijdragen 62 (1):104-122.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. The Scientific Letters and Papers of James Clerk Maxwell, Volume II: 1862-1873.P. M. Harman & Henk W. De Regt - 1996 - British Journal for the Philosophy of Science 47 (4):654-657.
  36.  64
    Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
    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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants 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 derivations are not translated. Both (...)
     
    Export citation  
     
    Bookmark  
  38.  14
    Pupil dilation in the Simon task as a marker of conflict processing.Henk van Steenbergen & Guido P. H. Band - 2013 - Frontiers in Human Neuroscience 7.
  39.  41
    Does conflict help or hurt cognitive control? Initial evidence for an inverted U-shape relationship between perceived task difficulty and conflict adaptation.Henk van Steenbergen, Guido P. H. Band & Bernhard Hommel - 2015 - Frontiers in Psychology 6.
  40.  19
    Partners' influence on each other's television exposure: Dominance or symmetry?Henk Westerik, Gerbert Kraaykamp & Ruben P. Konig - 2008 - Communications 33 (4):371-384.
    In this study we analyzed to what extent partners who share the same household affect each other's exposure to television. With the use of linear structural equation modeling we analyzed data from a large scale representative survey in The Netherlands. Results indicate that both men and women influence their partner's exposure to television. When people spend much time watching television, their partners are also likely to spend a lot of time in front of the television. These influences on each other's (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  32
    Regulating Euthanasia in the Netherlands Ethics Committees for Review of Euthanasia?Rien M. J. P. A. Janssens & Henk A. M. J. Ten Have - 1997 - HEC Forum 9 (4):393-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Haider, Hilde, 495 Hobson, J. Allan, 429 Huntjens, Rafaële JC, 377 Huron, Caroline, 535.Frederick Aardema, Henk Aarts, Anna Abraham, Richard L. Abrams, Richard J. Addante, Karzan Jalal Ali, William P. Banks, Cristina Becchio, D. Ben Shalom & Cesare Bertone - 2005 - Consciousness and Cognition 14:788-789.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  44
    Boekbesprekingen.J. -M. Tison, P. C. Beentjes, Tamis Wever, W. Beuken, Jan C. M. Engelen, P. Fransen, P. Ahsmann, G. Bouwman, J. Wissink, W. G. Tillmans, H. Rikhof, F. J. Verstraelen, C. G. M. 'T. Mannetje, M. De Wachter, R. G. W. Huysmans, A. H. Eysink, H. Wegman, H. P. M. Goddijn, Theo Bell, J. Y. H. Jacobs, J. Plantinga, Jan W. Besemer, M. V. D. Berk, H. W. M. van Grol, H. V. Grol, M. Heijndrikx, Ben Vedder, Henk van Luijk & H. Stroeken - 1979 - Bijdragen 40 (1):76-112.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  20
    On the Role of Biomedical Knowledge in Clinical Reasoning by Experts, Intermediates and Novices.Henny P. A. Boshuizen & Henk G. Schmidt - 1992 - Cognitive Science 16 (2):153-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  27
    Bookreviews.Bart J. Koet, P. C. Beentjes, Ton Meijers, Rudi te Velde, Henk J. M. Schoot, Marc Lindeijer, Walter Van Herck, Edwin Koster, Ruud Welten & Jean-Jacques Suurmond - 2007 - Bijdragen 68 (4):486-498.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  56
    Reducing normative bias in health technology assessment: Interactive evaluation and casuistry.Rob P. B. Reuzel, Gert-Jan van Der Wilt, Henk A. M. J. ten Have & Pieter F. de Vries Robbé - 1999 - Medicine, Health Care and Philosophy 2 (3):255-263.
    Health technology assessment (HTA) is often biased in the sense that it neglects relevant perspectives on the technology in question. To incorporate different perspectives in HTA, we should pursue agreement about what are relevant, plausible, and feasible research questions; interactive technology assessment (iTA) might be suitable for this goal. In this way a kind of procedural ethics is established. Currently, ethics too often is focussed on the application of general principles, which leaves a lot of confusion as to what really (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  53
    Integrating unseen events over time.Thomas P. Reber & Katharina Henke - 2012 - Consciousness and Cognition 21 (2):953-960.
    Events often share elements that guide us to integrate knowledge from these events. Integration allows us to make inferences that affect reactions to new events. Integrating events and making inferences are thought to depend on consciousness. We show that even unconsciously experienced events, that share elements, are integrated and influence reactions to new events. An unconscious event consisted of the subliminal presentation of two unrelated words. Half of subliminal word pairs shared one word . Overlapping word pairs were presented between (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. The intralaminar and midline nuclei of the thalamus. Anatomical and functional evidence for participation in processes of arousal and awareness.Ysbrand D. Van der Werf, Menno P. Witter & Henk J. Groenewegen - 2002 - Brain Research Reviews 39 (2):107-140.
  49.  31
    Mercy, Murder, and Morality.C. J. van der Berge, Herman H. van der Kloot Meijburg, I. van der Sluis, Henk Rigter, Courtney S. Campbell, Bette-Jane Crigger, J. G. M. Aarsten, P. V. Admiraal, I. D. de Beaufort, Th M. G. van Berkestijin, J. B. van Borssum Waalkes, E. Borst-Eilers, W. H. Cense, H. S. Cohen, H. M. Dupuis, W. Everaerd, J. K. M. Gevers, H. W. A. Hilhorst, W. R. Kastelein, H. H. van der Kloot Meijburg, H. M. Kuitert, H. J. J. Leemen, C. van der Meer, J. C. Molenaar, H. D. C. Roscam Abbing, H. Roelink, E. Schroten, C. P. Sporken, E. Ph R. Sutorius, J. Tromp Meesters, M. A. M. de Wachter, Abraham van der Spek & Richard Fenigsen - 1989 - Hastings Center Report 19 (6):47.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  46
    Formation of semantic associations between subliminally presented face-word pairs.Simone B. Duss, Sereina Oggier, Thomas P. Reber & Katharina Henke - 2011 - Consciousness and Cognition 20 (3):928-935.
    Recent evidence suggests that consciousness of encoding is not necessary for the rapid formation of new semantic associations. We investigated whether unconsciously formed associations are as semantically precise as would be expected for associations formed with consciousness of encoding during episodic memory formation. Pairs of faces and written occupations were presented subliminally for unconscious associative encoding. Five minutes later, the same faces were presented suprathreshold for the cued unconscious retrieval of face-occupation associations. Retrieval instructions required participants to classify the presented (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000