@article{TAC_2022_38_a12,
     author = {Robin Cockett and Jean-Simon Pacaud Lemay},
     title = {Linearizing {Combinators}},
     journal = {Theory and applications of categories},
     pages = {374--431},
     publisher = {mathdoc},
     volume = {38},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2022_38_a12/}
}