Rudimentary recursion and provident sets

Autor:	Mathias, Adrian R D, Bowler, Nathan
Přispěvatelé:	Laboratoire d'Informatique et de Mathématiques (LIM), Université de La Réunion (UR)
Jazyk:	angličtina
Rok vydání:	2014
Předmět:	[INFO]Computer Science [cs] [MATH]Mathematics [math] ComputingMilieux_MISCELLANEOUS
Zdroj:	Notre Dame Journal of Formal Logic Notre Dame Journal of Formal Logic, University of Notre Dame, 2014, 55 (3), pp.1-40
ISSN:	0029-4527
Popis:	International audience; no abstract
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9787d6c132b46a249f124a8ee339f8a5 https://hal.univ-reunion.fr/hal-01186136 Zobrazit plný text záznamu