Zobrazeno 1 - 10 of 31 pro vyhledávání: '"Barendregt, H. P."'
2
Report
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
Zobrazit plný text záznamu
3
Report
Fixed point theorems for precomplete numberings
Autor: Barendregt, H. P., Terwijn, S. A.
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: http://arxiv.org/abs/1809.06233
Zobrazit plný text záznamu
5
Some extensional term models for combinatory logics and [lambda]-calculi
Autor: Barendregt, H. P.
Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971.
"Stellingen" ([2] p.) inserted. Summary in Dutch. Includes supplementary part II to the author's thesis. Includes bibliographical references (p. 134-138).
Externí odkaz: http://books.google.com/books?id=7abVAAAAMAAJ
Zobrazit plný text záznamu
6
Akademický článek
Termination for direct sums of left-linear complete term rewriting systems.
Autor: Toyama, Y., Klop, J. W., Barendregt, H. P.
Publikováno v: Journal of the ACM; Nov1995, Vol. 42 Issue 6, p1275-1304, 30p
Zobrazit plný text záznamu
7
Attention, Consciousness and Mindfulness in Meditation
Autor: Raffone, Antonino, Srinivasan, N., Barendregt, H. P.
Publikováno v: Singh, N. (ed.), Psychology of Meditation, pp. 147-166
Contains fulltext : 127978.pdf (Author’s version preprint ) (Open Access)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fcc3454ccb37b297665ffa65d46fa485
http://repository.ubn.ru.nl/handle/2066/127978
Zobrazit plný text záznamu
8
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.
9
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.
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje