1
Transformaciones naturales y parametricidad
En teoremas gratis! , Wadler dice que la caracterización de la parametricidad se puede volver a expresar en términos de transformaciones naturales laxas y este será el tema de otro artículo. ¿A qué papel se refiere? El enfoque categórico de la paramtericidad que conozco utiliza transformaciones dinaturales como en el …