Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others]. [elektronicky zdroj]

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

Externí odkaz: Kolekce e-knih KNAV

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

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

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

Reflections on the Operator Theory

Autor: Barendregt, H., Akkerhuis, G.A.J.M. Jagers op

Publikováno v: Akkerhuis, G.A.J.M. Jagers op (ed.), Evolution and Transitions in Complexity: The Science of Hierarchical Organization in Nature, 61-64. Cham : Springer International Publishing
STARTPAGE=61;ENDPAGE=64;TITLE=Akkerhuis, G.A.J.M. Jagers op (ed.), Evolution and Transitions in Complexity: The Science of Hierarchical Organization in Nature
Akkerhuis, G.A.J.M. Jagers op (ed.), Evolution and Transitions in Complexity: The Science of Hierarchical Organization in Nature, pp. 61-64
Evolution and Transitions in Complexity ISBN: 9783319438016

This review offers a short summary of the Operator Theory, or O-theory, including the notion of closure consisting of some circular processes. Based on closure, the Operator Theory distinguishes a limited number of levels in the organization of natur

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4249ec1742bfed2bdffbe8f1bbcc649a
http://hdl.handle.net/2066/161421