Obserwuj
Julian Salamanca
Julian Salamanca
Warsaw University
Zweryfikowany adres z mimuw.edu.pl
Tytuł
Cytowane przez
Cytowane przez
Rok
Iterated covariant powerset is not a monad
B Klin, J Salamanca
Electronic Notes in Theoretical Computer Science 341, 261-276, 2018
412018
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6