Predicative Functional Recurrence and Poly-Space
Identifieur interne : 00C227 ( Main/Merge ); précédent : 00C226; suivant : 00C228Predicative Functional Recurrence and Poly-Space
Auteurs : Daniel Leivant ; Jean-Yves MarionSource :
English descriptors
- KwdEn :
Abstract
We formulate a notion of predicative function types, and define predicative recurrence over functions, both in equational style and as an applicative formalism, pointing out the equivalence between the two approaches. We then show that a function is Poly-space iff it is defined using a predicative functionals obtained by ramified recurrence over words.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001F95
- to stream Crin, to step Curation: 001F95
- to stream Crin, to step Checkpoint: 002773
Links to Exploration step
CRIN:leivant97aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="201">Predicative Functional Recurrence and Poly-Space</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:leivant97a</idno>
<date when="1997" year="1997">1997</date>
<idno type="wicri:Area/Crin/Corpus">001F95</idno>
<idno type="wicri:Area/Crin/Curation">001F95</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001F95</idno>
<idno type="wicri:Area/Crin/Checkpoint">002773</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002773</idno>
<idno type="wicri:Area/Main/Merge">00C227</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Predicative Functional Recurrence and Poly-Space</title>
<author><name sortKey="Leivant, Daniel" sort="Leivant, Daniel" uniqKey="Leivant D" first="Daniel" last="Leivant">Daniel Leivant</name>
</author>
<author><name sortKey="Marion, Jean Yves" sort="Marion, Jean Yves" uniqKey="Marion J" first="Jean-Yves" last="Marion">Jean-Yves Marion</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Complexity</term>
<term>Stratified recursion</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1547">We formulate a notion of predicative function types, and define predicative recurrence over functions, both in equational style and as an applicative formalism, pointing out the equivalence between the two approaches. We then show that a function is Poly-space iff it is defined using a predicative functionals obtained by ramified recurrence over words.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C227 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00C227 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:leivant97a |texte= Predicative Functional Recurrence and Poly-Space }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |