@inproceedings{Aubert2022, author = {Aubert, Clément and Rubiano, Thomas and Rusch, Neea and Seiller, Thomas}, month = {jun}, title = {Realizing Implicit Computational Complexity}, url = {https://zenodo.org/record/7938752}, year = {2022} }