Partial combinatory algebra and generalized numberings

Autor: Barendregt, H. P., Terwijn, S. A.

Generalized numberings are an extension of Ershov's notion of numbering, based on partial combinatory algebra (pca) instead of the natural numbers. We study various algebraic properties of generalized numberings, relating properties of the numbering

Externí odkaz: http://arxiv.org/abs/1910.07750

The lambda calculus [electronic resource] : its syntax and semantics / H.P. Barendregt.

Autor: Barendregt, H. P. (Hendrik Pieter)

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

The (In)flexible self: Psychopathology, mindfulness, and neuroscience.

Autor: Giommi F; NOUS-School of Specialization (PsyD) in Psychotherapy, Milano, Italy.; Insight Dialogue Community [insightdialogue.org/teachers]., Bauer PR; Department of Psychosomatic Medicine and Psychotherapy, Medical Center - University of Freiburg, Faculty of Medicine, University of Freiburg, Freiburg im Breisgau, Germany., Berkovich-Ohana A; Edmond Safra Brain Research Center, Faculty of Education, University of Haifa, Israel.; Faculty of Education, Department of Learning and Instructional Sciences, University of Haifa, Israel.; The Integrated Brain and Behavior Research Center (IBBRC), University of Haifa, Israel.; Faculty of Education, Department of Counseling and Human Development, University of Haifa, Israel., Barendregt H; Faculty of Science, Radboud University, Nijmegen, the Netherlands., Brown KW; Carnegie Mellon University, USA., Gallagher S; Department of Philosophy, University of Memphis, USA and SOLA, University of Wollongong, Australia., Nyklíček I; Department of Medical and Clinical Psychology, Tilburg University, the Netherlands., Ostafin B; Department of Clinical Psychology, University of Groningen, the Netherlands., Raffone A; Department of Psychology, Sapienza University of Rome, Italy.; School of Buddhist Studies, Philosophy and Comparative Religions, Nalanda University, India., Slagter HA; Vrije Universiteit Amsterdam, the Netherlands., Trautwein FM; Department of Psychosomatic Medicine and Psychotherapy, Medical Center - University of Freiburg, Faculty of Medicine, University of Freiburg, Freiburg im Breisgau, Germany., Vago DR; Contemplative Sciences Center, University of Virginia.

Publikováno v: International journal of clinical and health psychology : IJCHP [Int J Clin Health Psychol] 2023 Oct-Dec; Vol. 23 (4), pp. 100381. Date of Electronic Publication: 2023 Mar 17.

Dance of the starlings

Autor: Barendregt, H., Endrullis, J., Klop, J., Waldmann, J., Fitting, M., Rayman, B.

Publikováno v: Fitting, M.; Rayman, B. (ed.), Raymond Smullyan on Self-reference, pp. 67-111
Outstanding Contributions to Logic, 67-111. Cham : Springer
STARTPAGE=67;ENDPAGE=111;TITLE=Outstanding Contributions to Logic
Raymond Smullyan on Self Reference ISBN: 9783319687315

In this birdwatching paper our binoculars are focused upon a particular bird from Smullyan’s enchanted forest of combinatory birds (Smullyan in To Mock a Mockingbird, and other logic puzzles. Alfred A. Knopf, New York, 1985), to wit the Starling. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12352deca456914f56d6e68781a22cd0
https://hdl.handle.net/2066/199860

Keys to two intimacies : Mathesis and Mysticism

Autor: Barendregt, H.

Publikováno v: Studies in Spirituality, 26, pp. 15-32
Studies in Spirituality, 26, 15-32

Contains fulltext : 163207.pdf (Publisher’s version ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ebe13cba1c1ead0ec6a569ca85f1ac50
https://hdl.handle.net/2066/163207