Segueix
Julian Salamanca
Julian Salamanca
Warsaw University
Correu electrònic verificat a mimuw.edu.pl
Títol
Citada per
Citada per
Any
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–6