@Inproceedings{EPTCS298.3, author = {Jacob\'e de Naurois, Paulin}, year = {2019}, title = {Pointers in Recursion: Exploring the Tropics}, editor = {Seiller, Thomas and Jost, Steffen}, booktitle = {{\rm Proceedings Third Joint Workshop on} Developments in Implicit Computational complExity {\rm and} Foundational \& Practical Aspects of Resource Analysis, {\rm Prague, Czech Republic, 6.4.2019 - 7.4.2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {298}, publisher = {Open Publishing Association}, pages = {31-45}, doi = {10.4204/EPTCS.298.3}, }