| Original language | English |
|---|---|
| Journal | Higher Order and Symbolic Computation |
| Publication status | Published - 2010 |
Linearity and iterator types for Gödel’s System
S Alves, M Fernandez, M Florido, I Mackie
Research output: Contribution to journal › Article › peer-review
2
Citations
(Scopus)