Φορτώνει......
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...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Open Publishing Association
2019-08-01
|
| Σειρά: | Electronic Proceedings in Theoretical Computer Science |
| Διαθέσιμο Online: | http://arxiv.org/pdf/1908.04921v1 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|