|
José A. Alonso
@
Jose_A_Alonso
Sevilla
|
|
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
|
|
|
21.701
Tweetovi
|
2.509
Pratim
|
2.433
Osobe koje vas prate
|
| Tweetovi |
|
|
José A. Alonso
@Jose_A_Alonso
|
17 min |
|
#Exercitium: Enunciado de "Máximo número de consecutivos iguales al dado". glc.us.es/~jalonso/exerc… #Haskell #ProgramaciónFuncional #Matemáticas #I1M2019
|
||
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
1 h |
|
#Exercitium: Soluciones de "Primer elemento repetido". glc.us.es/~jalonso/exerc… #Haskell #ProgramaciónFuncional #Matemáticas #I1M2019
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
13 h |
|
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
18 h |
|
Automated proof of Bell-LaPadula security properties. ~ Maximiliano Cristiá, Gianfranco Rossi. arxiv.org/abs/2001.10512 #ATP #SetLog
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
22 h |
|
Intro to Kaleidoscopes: Optics for aggregating data through Applicatives. ~ Chris Penner (@chrislpenner). chrispenner.ca/posts/kaleidos… #Haskell #FunctionalProgramming
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
22 h |
|
List of open and free logic textbooks. ~ Richard Zach (@RrrichardZach). github.com/OpenLogicProje… #Logic
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
22 h |
|
#Exercitium: Enunciado de "Entre dos potencias sucesivas". glc.us.es/~jalonso/exerc… #Haskell #ProgramaciónFuncional #Matemáticas #I1M2019
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
22 h |
|
#Exercitium: Soluciones de "La conjetura de Mertens". glc.us.es/~jalonso/exerc… #Haskell #ProgramaciónFuncional #Matemáticas #I1M2019
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
22 h |
|
Lecturas de programación funcional y demostración asistida por ordenador (2-feb-20). github.com/jaalonso/Lectu… #FunctionalProgramming #ITP #Coq #LeanProver #Prolog
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
23 h |
|
A formal development cycle for security engineering in Isabelle. ~ Florian Kammüller. arxiv.org/abs/2001.08983 #ITP #IsabelleHOL
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
MOIN: A nested sequent theorem prover for intuitionistic modal logics (system description). ~ Marianna Girlando, Lutz Straßburger. hal.inria.fr/hal-02457240/d… #ATP #Prolog #Logic
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. arxiv.org/abs/2001.10490 #ITP #LeanProver
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
Hilbert's tenth problem in Coq. ~ Dominique Larchey-Wendling, Yannick Forster. ps.uni-saarland.de/Publications/d… #ITP #Coq #Math
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
Lecturas de programación funcional y demostración asistida por ordenador (1-feb-20). github.com/jaalonso/Lectu… #FunctionalProgramming #Haskell #ITP #Coq #IsabelleHOL
|
||
|
|
||
| José A. Alonso proslijedio/la je tweet | ||
|
Peter Seibel
@peterseibel
|
2. velj |
|
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!
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr. ps.uni-saarland.de/Publications/d… #ITP #Coq #Logic
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
1. velj |
|
Verified programming of Turing machines in Coq. ~ Yannick Forster, Fabian Kunze, Maximilian Wuttke. ps.uni-saarland.de/Publications/d… #ITP #Coq
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
1. velj |
|
Demostración en Lean. glc.us.es/~jalonso/calcu…
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
1. velj |
|
NP-completeness, part II. ~ Kevin Buchin. win.tue.nl/~kbuchin/teach… #CompSci
|
||
|
|
||