Algebras and Kleisli categories associated with monads Modes of computation Mónada No determinismo Probabilidad Análisis diferencial Bisimilitud probabilista Derivadas Descriptive set theory Educación matemática Integrales Labelled Markov processes Logic in computer science Lógicas no-clásicas Measures and integrals in product spaces Medidas e integrales en los espacios producto Modal Logic Modelos y métodos de computación concurrente y distribuida Models and methods for concurrent and distributed computing No-determinismo Proceso de Markov etiquetado Teorema del valor medio Teoría de conjuntos descriptiva Velocidad