Caricamento...
On the Elementary Affine Lambda-Calculus with and Without Fixed Points
The elementary affine lambda-calculus was introduced as a polyvalent setting for implicit computational complexity, allowing for characterizations of polynomial time and hyperexponential time predicates. But these results rely on type fixpoints (a.k.a. recursive types), and it was unknown whether th...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
Open Publishing Association
2019-08-01
|
| Serie: | Electronic Proceedings in Theoretical Computer Science |
| Accesso online: | http://arxiv.org/pdf/1908.04921v1 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|