Julian Salamanca

According to our database, Julian Salamanca authored at least 6 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Monadic Monadic Second Order Logic.

Mikolaj Bojanczyk, Bartek Klin, Julian Salamanca

CoRR, 2022

2018

Iterated Covariant Powerset is not a Monad.

Bartek Klin, Julian Salamanca

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality.

Julian Salamanca

CoRR, 2017

2016

Duality of Equations and Coequations via Contravariant Adjunctions.

Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015

Regular Varieties of Automata and Coequations.

Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Equations and Coequations for Weighted Automata.

Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015