Follow
Julian Salamanca
Julian Salamanca
Verified email at mimuw.edu.pl
Title
Cited by
Cited by
Year
Iterated covariant powerset is not a monad
B Klin, J Salamanca
Electronic Notes in Theoretical Computer Science 341, 261-276, 2018
402018
Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras+ Duality
J Salamanca
arXiv preprint arXiv:1702.02822, 2017
112017
Duality of equations and coequations via contravariant adjunctions
J Salamanca, M Bonsangue, J Rot
International Workshop on Coalgebraic Methods in Computer Science, 73-93, 2016
82016
Regular varieties of automata and coequations
J Salamanca, A Ballester-Bolinches, MM Bonsangue, E Cosme-Llópez, ...
International Conference on Mathematics of Program Construction, 224-237, 2015
62015
Equations and coequations for weighted automata
J Salamanca, M Bonsangue, J Rutten
International Symposium on Mathematical Foundations of Computer Science, 444-456, 2015
52015
An Eilenberg–like Theorem for Algebras on a Monad
J Salamanca
CWI Technical Report, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–6