Rudimentary recursion and provident sets - Université de La Réunion Access content directly
Journal Articles Notre Dame Journal of Formal Logic Year : 2014

Rudimentary recursion and provident sets

Adrian R D Mathias
  • Function : Correspondent author
  • PersonId : 969198

Connectez-vous pour contacter l'auteur
Laboratoire d'Informatique et de Mathématiques
Nathan Bowler
  • Function : Author

Abstract

no abstract

Domains

Mathematics [math] Computer Science [cs]

Nicolas Alarcon  : Connect in order to contact the contributor

https://hal.univ-reunion.fr/hal-01186136

Submitted on : Monday, August 24, 2015-2:27:48 PM

Last modification on : Friday, January 21, 2022-3:27:02 AM

No file

Dates and versions

hal-01186136 , version 1 (24-08-2015)

Identifiers

  • HAL Id : hal-01186136 , version 1

Cite

Adrian R D Mathias, Nathan Bowler. Rudimentary recursion and provident sets. Notre Dame Journal of Formal Logic, 2014, 55 (3), pp.1-40. ⟨hal-01186136⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION INSMI LIM FST-REUNION
66 View
0 Download

Share

Gmail Facebook X LinkedIn More