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
Joined January 2011

Tweets

You blocked @Jose_A_Alonso

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Jose_A_Alonso

  1. Pinned Tweet
    Jan 12

    Lecturas de programación funcional y demostración asistida por ordenador.

    Undo
  2. Automated proof of Bell-LaPadula security properties. ~ Maximiliano Cristiá, Gianfranco Rossi.

    Undo
  3. Intro to Kaleidoscopes: Optics for aggregating data through Applicatives. ~ Chris Penner ().

    Undo
  4. Undo
  5. Undo
  6. Undo
  7. Lecturas de programación funcional y demostración asistida por ordenador (2-feb-20).

    Undo
  8. A formal development cycle for security engineering in Isabelle. ~ Florian Kammüller.

    Undo
  9. MOIN: A nested sequent theorem prover for intuitionistic modal logics (system description). ~ Marianna Girlando, Lutz Straßburger.

    Undo
  10. Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura.

    Undo
  11. Undo
  12. Feb 2

    Hilbert's tenth problem in Coq. ~ Dominique Larchey-Wendling, Yannick Forster.

    Undo
  13. Feb 2

    Lecturas de programación funcional y demostración asistida por ordenador (1-feb-20).

    Undo
  14. Retweeted
    Feb 1

    Let’s all take a moment to enjoy the fact that today’s date is a palindrome for both big-endian and middle-endian date writing cultures. Happy 20200202!

    Undo
  15. Feb 1

    Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr.

    Undo
  16. Feb 1

    Verified programming of Turing machines in Coq. ~ Yannick Forster, Fabian Kunze, Maximilian Wuttke.

    Undo
  17. Feb 1
    Show this thread
    Undo
  18. Feb 1
    Undo
  19. Feb 1
    Undo
  20. Feb 1

    The weak call-by-value λ-calculus is reasonable for both time and space. ~ Yannick Forster, Fabian Kunze, Marc Roth.

    Undo
  21. Feb 1
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·