Taylor Expansion as a Monad in Models of DiLL.

Marie Kerjean, Jean-Simon Pacaud Lemay

Browse the full LICS paper archive.