Tahir es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 0 votos
Arduino - Conexión a un dispositivo Bluetooth remoto que solicita un código de acceso
el 25 de Marzo, 2020 0 votos - 22 votos
¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?
el 9 de Junio, 2015 22 votos
Etiquetas favoritas
- 1 x turing-máquinas
- 1 x lambda-cálculo
- 1 x type-teoría
- 1 x arduino
- 1 x bluetooth
- 1 x bluetooth-low-energy
- 1 x electrónica