José A. Alonso

@Jose_A_Alonso

Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Sevilla
glc.us.es/~jalonso/vesti…
Vrijeme pridruživanja: siječanj 2011.

Medijski sadržaj

  1. 22. sij

    Proof pearl: Braun trees. ~ Tobias Nipkow.

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
  2. 22. sij

    Verified programming of Turing machines in Coq. ~ Fabian Kunze.

    12 korisnika označava da im se sviđa
  3. 21. sij

    A functional proof pearl: Inverting the Ackermann heirarchy. ~ Linh Tran.

    5 korisnika označava da im se sviđa
  4. 21. sij

    Undecidability of higher-order unification formalised in Coq. ~ Simon Spies.

    6 korisnika označava da im se sviđa
  5. 21. sij

    Three equivalent ordinal notation systems in cubical Agda. ~ Fredrick Nordvall Forsberg.

    4 proslijeđena tweeta 7 korisnika označava da im se sviđa
  6. 19. sij

    Números primos que son imágenes. ~

    4 korisnika označavaju da im se sviđa
  7. 10. sij

    Programming with Categories - Lecture 2 vía

    5 korisnika označava da im se sviđa
  8. 10. sij

    Programming with Categories - Lecture 1 vía

    6 korisnika označava da im se sviđa
  9. 10. sij

    Programming with Categories - Lecture 0 vía

    2 korisnika označavaju da im se sviđa
  10. 14. pro 2019.

    Dependently typed Haskell in industry (experience report). ~ David Thrane Christiansen.

    3 proslijeđena tweeta 6 korisnika označava da im se sviđa
  11. 4. pro 2019.

    Correctness proofs of distributed systems with Isabelle. ~ Martin Kleppmann.

    5 proslijeđenih tweetova 8 korisnika označava da im se sviđa
  12. 12. stu 2019.

    Commanding Emacs from Coq.

    3 korisnika označavaju da im se sviđa
  13. 2. stu 2019.

    No Garden of Eden: Adventures in Teaching Haskell to Kids. ~ Peter Berger ().

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
  14. 29. kol 2019.

    What is a monad? ~ Graham Hutton.

    1 proslijeđeni tweet 8 korisnika označava da im se sviđa
  15. 27. kol 2019.

    Teaching Haskell for understanding. ~ Julie Moronuki ().

    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
  16. 25. kol 2019.

    Type Classes vs. the World. ~ Edward Kmett.

    5 proslijeđenih tweetova 9 korisnika označava da im se sviđa
  17. 24. kol 2019.

    Point-free or die: Tacit programming in Haskell and beyond. ~ Amar Shah

    2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
  18. 3. kol 2019.

    Retos en los fundamentos de Data Science. ~ Joaquín Borrego ().

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
  19. 2. srp 2019.

    A taste of type theory. ~ Bartosz Milewski ().

    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
  20. 1. lip 2019.

    Campaña de la Real Academia Española contra los anglicismos.

@Jose_A_Alonso još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·