Teoría de Tipos y Computación: Fundamentos y Aplicaciones
1990·no ficcion
Un libro clave que introduce la teoría de tipos constructivos de Martin-Löf y explora su relación con la programación, la lógica y la fundamentación de las matemáticas.
sueco
Bengt Nordström es un autor y pensador sueco conocido por sus contribuciones a la literatura y el análisis crítico del capitalismo contemporáneo. Su relevancia se destaca en el ámbito de la economía y la filosofía social.
1990·no ficcion
Un libro clave que introduce la teoría de tipos constructivos de Martin-Löf y explora su relación con la programación, la lógica y la fundamentación de las matemáticas.
Aparecen junto a Bengt Nordström en búsquedas del archivo