17El calor
2Respuesta
¿Hay algún tipo de firma que Haskell no pueda verificar?
8El calor
1Respuesta
¿Cuál es la relación entre la recursión y la prueba por inducción?
25El calor
3Respuesta
Teoría de tipos: tipos de tipos
5El calor
2Respuesta
13El calor
2Respuesta
Libros para principiantes teoría de sistemas tipo
9El calor
3Respuesta
¿Cómo hacer que estas funciones tipadas dinámicamente sean seguras?
25El calor
3Respuesta
¿De qué tipo de cálculo lambda sería un ejemplo Lisp?
10El calor
2Respuesta
6El calor
2Respuesta
de funciones, que genéricamente toma un tipo y devuelve el mismo tipo
7El calor
2Respuesta
Una pregunta sobre la lógica y la correspondencia de Curry-Howard