A LIGHT MODALITY FOR RECURSION.
Saved in:
| Title: | A LIGHT MODALITY FOR RECURSION. |
|---|---|
| Authors: | SEVERI, PAULA1 |
| Source: | Logical Methods in Computer Science (LMCS); Jan2019, Vol. 15 Issue 1, p1-32, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.23638/LMCS-15(1:8)2019 |