Matemático de la UNAM. Mi interés principal es la teoría de categorías y específicamente la teoría de topos y cohesión axiomática
- Ciudad de México
-
10:04
(UTC -06:00) - ljtc.github.io
Highlights
- Pro
⊹₊⟡⋆ Ephi ⊹₊⟡⋆
Zerabalus
Don't push yourself too hard, it's no fun beating the game too fast.
Facultad de Ciencias, UNAM
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Eduardo Lopez
eddtlpz
Computer systems engr. former student.
Why spending seconds doing something when you can spend hours automating it?
Mexico City