Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Henk Barendregt"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
In the Simply Typed $\lambda$-calculus Statman investigates the reducibility relation $\leq_{\beta\eta}$ between types: for $A,B \in \mathbb{T}^0$, types freely generated using $\rightarrow$ and a single ground type $0$, define $A \leq_{\beta\eta} B$
Externí odkaz:
https://doaj.org/article/808b42cc6f3f4c92b166131316e8db23
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped ver
Autor:
Fabio Giommi, Prisca R. Bauer, Aviva Berkovich-Ohana, Henk Barendregt, Kirk Warren Brown, Shaun Gallagher, Ivan Nyklíček, Brian Ostafin, Antonino Raffone, Heleen A. Slagter, Fynn-Mathis Trautwein, David R. Vago
Publikováno v:
International Journal of Clinical and Health Psychology, 23, 1-9
Giommi, F, Bauer, P R, Berkovich-Ohana, A, Barendregt, H, Brown, K W, Gallagher, S, Nyklíček, I, Ostafin, B, Raffone, A, Slagter, H A, Trautwein, F M & Vago, D R 2023, ' The (In)flexible self : Psychopathology, mindfulness, and neuroscience ', International Journal of Clinical and Health Psychology, vol. 23, no. 4, 100381, pp. 1-9 . https://doi.org/10.1016/j.ijchp.2023.100381
International Journal of Clinical and Health Psychology, 23(4):100381, 1-9. Facultad de Psicologia
International Journal of Clinical and Health Psychology, 23, 4, pp. 1-9
Giommi, F, Bauer, P R, Berkovich-Ohana, A, Barendregt, H, Brown, K W, Gallagher, S, Nyklíček, I, Ostafin, B, Raffone, A, Slagter, H A, Trautwein, F M & Vago, D R 2023, ' The (In)flexible self : Psychopathology, mindfulness, and neuroscience ', International Journal of Clinical and Health Psychology, vol. 23, no. 4, 100381, pp. 1-9 . https://doi.org/10.1016/j.ijchp.2023.100381
International Journal of Clinical and Health Psychology, 23(4):100381, 1-9. Facultad de Psicologia
International Journal of Clinical and Health Psychology, 23, 4, pp. 1-9
Clinical and neuroscientific evidence indicates that transdiagnostic processes contribute to the generation and maintenance of psychopathological symptoms and disorders. Rigidity (inflexibility) appears a core feature of most transdiagnostic patholog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1dfde6aba5a846898f18c8db5be4dc7
http://hdl.handle.net/2066/293050
http://hdl.handle.net/2066/293050
Cessations of consciousness in meditation: Advancing a scientific understanding of nirodha samāpatti
Autor:
Ruben E. Laukkonen, Matthew D. Sacchet, Henk Barendregt, Kathryn J. Devaney, Avijit Chowdhury, Heleen A. Slagter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80d9a307afc23027fec9cc4164ef3b88
https://doi.org/10.1016/bs.pbr.2022.12.007
https://doi.org/10.1016/bs.pbr.2022.12.007
Autor:
Henk Barendregt, Sebastiaan A. Terwijn
Publikováno v:
Theoretical Computer Science, 925, 37-44
Theoretical Computer Science, 925, pp. 37-44
Theoretical Computer Science, 925, pp. 37-44
Contains fulltext : 252356.pdf (Publisher’s version ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::250fcc7edc88d93852154461ec25d52a
http://hdl.handle.net/2066/252356
http://hdl.handle.net/2066/252356
Autor:
Henk Barendregt, Sebastiaan A. Terwijn
Publikováno v:
Annals of Pure and Applied Logic, 170, 1151-1161
Annals of Pure and Applied Logic, 170, 10, pp. 1151-1161
Annals of Pure and Applied Logic, 170, 10, pp. 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a44679f1bf8a6c0dc88de87e51848c1a
https://doi.org/10.1016/j.apal.2019.04.013
https://doi.org/10.1016/j.apal.2019.04.013
Autor:
Henk Barendregt, Antonino Raffone
Publikováno v:
Beyond Neural Correlates of Consciousness ISBN: 9781315205267
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a68472a8636e4414baa57b8f4f395b13
https://doi.org/10.4324/9781315205267-7
https://doi.org/10.4324/9781315205267-7
The distinguishing practice of mindfulness meditation is the intentional regulation of attention towards the present moment. Mindfulness meditation therefore emphasizes metacognitive functions, in particular the ability to monitor the attentional foc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0909c04b8648516cab52236d49105d98
Publikováno v:
NeuroImage, 85, Part 2, pp. 803-809
NeuroImage
NeuroImage, 85, Part 2, 803-809
NeuroImage
NeuroImage, 85, Part 2, 803-809
Studies on metacognition have shown that participants can report on their performance on a wide range of perceptual, memory and behavioral tasks. We know little, however, about the ability to report on one's attentional focus. The degree and directio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2098166225e379b65dc1369dc6e79ef1
https://hdl.handle.net/2066/126139
https://hdl.handle.net/2066/126139
Publikováno v:
Psychological Studies, 61, 307-320
Psychological Studies, 61, 4, pp. 307-320
Psychological Studies, 61, 4, pp. 307-320
The concept and quantification of ‘disintegration’ related to mindfulness were examined, i.e. attentional refinement to microscopic resolution wherein constituents of matter are decomposed into elemental units. Thus, perceptual data are synthesiz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c2f39a147e4ecf7b5b9db4623cac101
http://hdl.handle.net/2066/163125
http://hdl.handle.net/2066/163125