4 citations · 7 across the 2 of their papers we have counts for
4 papers
Automatic Differentiation for ML-family languages: correctness via logical relations
Fernando Lucatelli Nunes, Matthijs Vákár
We give a simple, direct and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by wo…
On lax epimorphisms and the associated factorization
Fernando Lucatelli Nunes, Lurdes Sousa
We study lax epimorphisms in 2-categories, with special attention to and -. We show that any 2-category with convenient colimits has an or…
Semantic Factorization and Descent
Fernando Lucatelli Nunes
Let be a -category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism exists and is preser…
Pseudoalgebras and non-canonical isomorphisms
Fernando Lucatelli Nunes
Given a pseudomonad , we prove that a lax -morphism between pseudoalgebras is a -pseudomorphism if and only if there is a suitable (possib…