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 Takipçi

956 Takip Edilen

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

a month ago

La teoría homotópica de tipos, como yo la veo, es una forma de representar razonamiento donde la lógica es solo un caso particular. Introduce una jerarquía de igualdades, lo que le permite expresar diversas teorías matemáticas en un mismo lenguaje. Fascinante. Gracias