|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A combination framework for complexity |
Avanzini, Martin |
2016 |
248 | C |
p. 22-55 34 p. |
article |
|
| 2 | A semantic account of strong normalization in linear logic |
de Carvalho, Daniel |
2016 |
248 | C |
p. 104-129 26 p. |
article |
|
| 3 | A type assignment for λ-calculus complete both for FPTIME and strong normalization |
De Benedetti, Erika |
2016 |
248 | C |
p. 195-214 20 p. |
article |
|
| 4 | Bounded Combinatory Logic and lower complexity |
Redmond, Brian F. |
2016 |
248 | C |
p. 215-226 12 p. |
article |
|
| 5 | Computation by interaction for space-bounded functional programming |
Dal Lago, Ugo |
2016 |
248 | C |
p. 150-194 45 p. |
article |
|
| 6 | Editorial Board |
2016 |
248 | C |
p. IFC- 1 p. |
article |
||
| 7 | Editorial Board |
2016 |
248 | C |
p. i- 1 p. |
article |
||
| 8 | Higher-order interpretations and program complexity |
Baillot, Patrick |
2016 |
248 | C |
p. 56-81 26 p. |
article |
|
| 9 | Logarithmic space and permutations |
Aubert, Clément |
2016 |
248 | C |
p. 2-21 20 p. |
article |
|
| 10 | Preface |
Ronchi Della Rocca, Simona |
2016 |
248 | C |
p. 1- 1 p. |
article |
|
| 11 | The role of polymorphism in the characterisation of complexity by soft types |
Chrząszcz, Jacek |
2016 |
248 | C |
p. 130-149 20 p. |
article |
|
| 12 | Two function algebras defining functions in NC k boolean circuits |
Bonfante, Guillaume |
2016 |
248 | C |
p. 82-103 22 p. |
article |
12 results found