Carlos Nexans (@techycarlos) 's Twitter Profile
Carlos Nexans

@techycarlos

Programación, futurología tech, SaaS.
🌐 carlosnexans.com
🗓️ planify.la

ID: 1043520375567605761

linkhttps://carlosnexans.com/ calendar_today22-09-2018 15:20:20

1,1K Tweet

185 Followers

956 Following

Carlos Nexans (@techycarlos) 's Twitter Profile Photo
Carlos Nexans
@techycarlos

a month ago

La teoría homotópica de tipos es un sistema formal que puede interpretarse desde la lógica, desde la teoría de conjuntos y es capaz de reproducir la teoría de números. Es lo que estamos estudiando en Interactive Theorem Provers en ECI. Aquí demuestro (parcialmente) la

La teoría homotópica de tipos es un sistema formal que puede interpretarse desde la lógica, desde la teoría de conjuntos y es capaz de reproducir la teoría de números. Es lo que estamos estudiando en Interactive Theorem Provers en <a href="/ECIDCUBA/">ECI</a>. Aquí demuestro (parcialmente) la