Zobrazeno 1 - 10
of 145
pro vyhledávání: '"Barendregt, Henk"'
Autor:
Barendregt, Henk, Raffone, Antonino
Consciousness will be introduced axiomatically, inspired by Buddhist insight meditation and psychology, logic in computer science, and cognitive neuroscience, as consisting of a stream of $configurations$ that is $compound$, $discrete$, and (non-dete
Externí odkaz:
http://arxiv.org/abs/2202.05700
Autor:
Giommi, Fabio, Bauer, Prisca R., Berkovich-Ohana, Aviva, Barendregt, Henk, Brown, Kirk Warren, Gallagher, Shaun, Nyklíček, Ivan, Ostafin, Brian, Raffone, Antonino, Slagter, Heleen A., Trautwein, Fynn-Mathis, Vago, David R.
Publikováno v:
In International Journal of Clinical and Health Psychology October-December 2023 23(4)
Autor:
Barendregt, Henk P.
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 3 (September 2, 2020) lmcs:5018
The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2. Structured programming, e
Externí odkaz:
http://arxiv.org/abs/1812.02243
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Westerbaan, Bram, Westerbaan, Bas, Kuyper, Rutger, Tankink, Carst, Viehoff, Remy, Barendregt, Henk
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 4 (November 27, 2017) lmcs:4074
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:
http://arxiv.org/abs/1711.05497
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The Journal of Symbolic Logic, 1998 Sep 01. 63(3), 869-890.
Externí odkaz:
https://www.jstor.org/stable/2586717
Autor:
Barendregt, Henk
Publikováno v:
The Bulletin of Symbolic Logic, 1997 Jun 01. 3(2), 181-215.
Externí odkaz:
https://www.jstor.org/stable/421013