Joaquín Díaz-Boïls

According to our database, Joaquín Díaz-Boïls authored at least 3 papers between 2012 and 2017.

Collaborative distances:

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

2017

Categorical comprehensions and recursion.

Joaquín Díaz-Boïls

J. Log. Comput., 2017

Distributive Minimization Comprehensions and the Polynomial Hierarchy.

Joaquín Díaz-Boïls

CoRR, 2017

2012

Timed Sets, Functional Complexity, and Computability.

J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012