• Segunda etapa: Diseño y análisis de pequeños prototipos de sistemas reflexivos operacionales. Modelado formal y simulación de propiedades provenientes de diferentes disciplinas, como por ejemplo autorreplicación, meta-management, meta-self-awareness, metasystem transitions, etc. Estudio de pertinencia de estos modelos en diversas disciplinas.

Repo

https://github.com/rocio-perez-sbarato/strangelooplab

Enlaces sobre impredicatividad y paradoja de Russell

Impredicativity Bites - Explicación sobre impredicatividad en Haskell

Codificación de la paradoja de Russell - Discusión en Reddit sobre implementac

ión

Haskell y teoría de conjuntos

Artículo académico sobre teoría de conjuntos

Haskell y teoría de conjuntos - Blog de Neil Mitchell

Documentación de Sets en Haskell - Containers library

Manejo de grafos en Haskell

Practical Graph Handling - The Monad Reader

Documentación de Graphviz

Functional Graph Library (FGL) - Por Martin Erwig

Inductive Graphs - Paper sobre representación inductiva de grafos

Representación de grafos en Haskell - Discusión en Stack Overflow

HGAL - Biblioteca para automorfismo de grafos