En esta página se encuentran alguno enlaces de interés personal y académico
Revistas
- ACM Transactions on Computational Logic (TOCL)
- Annals of Pure and Applied Logic
- Journal of Functional Programming
- Journal of Logic and Computation
- Journal of Symbolic Logic
- Logic Journal of the IGPL
- Logical Methods in Computer Science
- Mathematical Structures in Computer Science
- Theoretical Computer Science
- Theoretical Informatics and Applications
Lógica
- International Center for Computational Logic
- Logic and Set Theory around the world
- Mathematical Logic Group, LMU Muenchen
Lenguajes de Programación
- Great Works in Programming Languages
- Haskell
- History of Programming Languages
- Programming Language Research
- SWI-Prolog
- Weblog Lambda the Ultimate