Respuestas del usuario 378820 | i-Ciencias.com

Puntuación Visitas Fecha

2 votos

¿Por qué existe la correspondencia Curry-Howard?

Respondido el 10 de Junio, 2019 por Dan Doel

5 votos

Desde $\textsf{Prop}$ a $\textsf{Type}$

Aceptada

Respondido el 9 de Febrero, 2021 por Dan Doel

3 votos

¿es esencial la prueba por contradicción para demostrar el Principio del Casillero?

Respondido el 5 de Junio, 2022 por Dan Doel

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

X