Explorando un marco que conecta la coalgebra, las lógicas modales y las lógicas de punto fijo.
― 8 minilectura
Ciencia de vanguardia explicada de forma sencilla
Explorando un marco que conecta la coalgebra, las lógicas modales y las lógicas de punto fijo.
― 8 minilectura