Ep.262/1803 - Linear Logic
No se pudo agregar al carrito
Solo puedes tener X títulos en el carrito para realizar el pago.
Add to Cart failed.
Por favor prueba de nuevo más tarde
Error al Agregar a Lista de Deseos.
Por favor prueba de nuevo más tarde
Error al eliminar de la lista de deseos.
Por favor prueba de nuevo más tarde
Error al añadir a tu biblioteca
Por favor intenta de nuevo
Error al seguir el podcast
Intenta nuevamente
Error al dejar de seguir el podcast
Intenta nuevamente
Ep.262/1803 - Linear Logic
-
Narrado por:
-
De:
Welcome to ChatSEP! This episode is a chat about the SEP article on Linear Logic by Roberto Di Cosmo and Dale Miller. Enjoy!
WARNING: This conversation was automatically generated using Google's NotebookLM with this SEP article as its source. As you well know, Generative AI is prone to hallucinations. Do not use this podcast as anything but a jumping off point. For all serious purposes, see the SEP article and references therein. AI summaries are no replacement for the serious work of these academics.
Todavía no hay opiniones