Algebras and Kleisli categories associated with monads 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 Modes of computation Mónada No determinismo No-determinismo Probabilidad Proceso de Markov etiquetado Teorema del valor medio Teoría de conjuntos descriptiva Velocidad