@article{article94da1f7b,
title   = {Bounded theories for polyspace computability},
author = {Bianconi, Ricardo and Ferreira, Gilda and Silva, Emmanuel},
year = {2013},
doi = {10.4171/PM/1936},
journal   = {Portugaliae Mathematica}
}