@article{TAC_2022_38_a6, author = {Anthony Bordg}, title = {The {Interpretation} {Lifting} {Theorem} for {C-Systems}}, journal = {Theory and applications of categories}, pages = {214--231}, publisher = {mathdoc}, volume = {38}, year = {2022}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2022_38_a6/} }