Results for 'Henk P. Barendregt'

1000+ found
Order:
  1.  25
    Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
  2.  38
    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.
  3.  13
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    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.  14
    Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
  6.  4
    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.  1
    Supporting the Call for Improving the Code of Publication Ethics to Incorporate Editorial Decisions Regarding the Causation of Harm by Publication.Henk P. Giele - forthcoming - Clinical Ethics:147775092098357.
    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  
     
    Export citation  
     
    Bookmark  
  8.  8
    Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
  9.  27
    Lambda Calculus with Types.H. P. Barendregt - 2013 - Cambridge University Press.
    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   5 citations  
  10.  24
    Book Review. The Lambda-Calculus. H. P. Barendregt(. [REVIEW]Harold Hodes - 1988 - Philosophical Review 97 (1):132-7.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  36
    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.
  12.  7
    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   3 citations  
  13.  94
    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 (11 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  14.  52
    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   4 citations  
  15.  27
    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  
  16.  46
    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  
  17.  15
    Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. A Characterization of Terms of the λI-Calculus Having a Normal Form.Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):441-445.
  19. 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.
  20. Wiskunde, mystiek en natuurwetenschappen.Henk Barendregt - 2009 - Filosofie En Praktijk 30 (4):50.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  12
    The |Lambda-Calculus.H. P. Barendregt - 1988 - Philosophical Review 97 (1):132-137.
  22.  19
    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  
  23. Buddhist Phenomenology.Henk Barendregt - 1987
  24.  41
    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  
  25.  32
    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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  7
    Book Review: Henk Barendregt, Will Dekkers, Richard Statman Et Al., Lambda Calculus With Types. [REVIEW]Adrian Rezuş - 2015 - Studia Logica 103 (6):1319-1326.
  27. 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  
  28.  44
    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  
  29.  16
    Barendregt H. P.. The Lambda Calculus. Its Syntax and Semantics. Studies in Logic and Foundations of Mathematics, Vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, Xiv + 615 Pp. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  22
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  27
    Brill Online Books and Journals.Henk J. M. Schoot, Thomas Sullivan, William C. Charron & John P. Doyle - 1993 - Vivarium 31 (2):241-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  3
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Dirk van Dalen Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
     
    Export citation  
     
    Bookmark  
  34. On the Interpretation of Terms Without a Normal Form.H. P. Barendregt - 1971 - Utrecht, Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6).
     
    Export citation  
     
    Bookmark  
  35. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. 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.
  37.  20
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  14
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. The Incompleteness Theorems.H. P. Barendregt - 1976 - Rijksuniversiteit Utrecht, Mathematisch Instituut.
     
    Export citation  
     
    Bookmark   1 citation  
  40.  11
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  9
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  9
    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  
  43.  10
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  3
    Ad J. P. Maas. Atomisme En Individualisme: De Amsterdamse Natuurkunde Tussen 1877 En 1940. 296 Pp., Illus., Index, English Summary. Hilversum: Uitgeverij Verloren, 2001. [REVIEW]Henk Kubbinga - 2004 - Isis 95 (2):307-308.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  8
    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  
  46.  5
    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.
  47.  38
    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  
  48.  45
    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   1 citation  
  49.  24
    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.
  50. Subjects and Simulations: Between Baudrillard and Lacoue-Labarthe.Gary E. Aylesworth, Bettina Bergo, Thomas P. Brockelman, Alina Clej, Damian Ward Hey, Drew A. Hyland, Basil O'Neill, Henk Oosterling, Stephen David Ross, Katherine Rudolph, Robin May Schott, Massimo Verdicchio, James R. Watson & Martin G. Weiss (eds.) - 2014 - Lexington Books.
    Subjects and Simulations presents essays focused on suffering and sublimity, representation and subjectivity, and the relation of truth and appearance through engagement with the legacies of Jean Baudrillard and Philippe Lacoue-Labarthe.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000