Categorical Logic and Type Theory
1999·divulgacion
Una exploración avanzada de la lógica categórica y la teoría de tipos, que proporciona un marco para unificar conceptos matemáticos y computacionales.
belga
Bart Jacobs es un autor contemporáneo conocido por sus obras en el ámbito de la literatura de ficción. Su relevancia radica en su estilo único y en la exploración de temas modernos en sus relatos.
1999·divulgacion
Una exploración avanzada de la lógica categórica y la teoría de tipos, que proporciona un marco para unificar conceptos matemáticos y computacionales.
Aparecen junto a Bart Jacobs en búsquedas del archivo