Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Alves, Sandra, Fernández, Maribel, Florido, Mário and Mackie, Ian (2010) Linearity and Iterator Types for Godel's System T. Higher-Order and Symbolic Computation, 23 (1). pp. 1-27. ISSN 13883690

This list was generated on Thu Mar 4 15:19:45 2021 GMT.