El Cálculo Lambda y sus Aplicaciones
1993·ensayo
Una introducción rigurosa al cálculo lambda de Alonzo Church, explorando sus fundamentos y aplicaciones en la teoría de la computación y los lenguajes de programación funcionales.
francés
Jean-Louis Krivine es un destacado director de orquesta y profesor de música francés, conocido por su enfoque en la interpretación de obras del repertorio clásico y contemporáneo. Ha sido una figura influyente en la música orquestal en Francia y ha trabajado con numerosas orquestas en todo el mundo.
1993·ensayo
Una introducción rigurosa al cálculo lambda de Alonzo Church, explorando sus fundamentos y aplicaciones en la teoría de la computación y los lenguajes de programación funcionales.
Aparecen junto a Jean-Louis Krivine en búsquedas del archivo