noruego
Herman Ruge Jervell fue un destacado escritor y crítico literario noruego, conocido por sus contribuciones a la literatura contemporánea y su enfoque en temas sociales y políticos. Su obra ha influido en la narrativa nórdica y es reconocida por su profundidad y relevancia cultural.
1993·no ficcion
Una introducción concisa a la Correspondencia Curry-Howard, que establece un paralelismo fundamental entre sistemas de deducción lógica y sistemas de lambda cálculo, es decir, entre pruebas y programas.
Aparecen junto a Herman Ruge Jervell en búsquedas del archivo
