• Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 https://www.scopus.com/sourceid/21100262198 https://www.scopus.com/record/display.uri?eid=2-s2.0-85037556982&origin=inward&txGid=b0a45e10255a18f0d3b9a2706c6472db
• Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 https://www.scopus.com/sourceid/21100262198 https://www.scopus.com/record/display.uri?eid=2-s2.0-84904630409&origin=inward&txGid=417864a3d23c7ca8e897f9b405dcc50f