MORBiD es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
Notación para el tipo de función dependiente
el 8 de Septiembre, 2017 5 votos
Últimas Respuestas
- 0 votos
Notación para el tipo de función dependiente
el 8 de Noviembre, 2017 0 votos
Etiquetas favoritas
- 1 x la-notación
- 1 x type-teoría