Timed Sets, Functional Complexity, and Computability. - J. Robin B. Cockett; Joaquín Díaz-Boïls; Jonathan Gallagher; Pavel Hrubes (MFPS, 2012)

Distributive Minimization Comprehensions and the Polynomial Hierarchy. - Joaquín Díaz-Boïls (CoRR, 2017)

Categorical comprehensions and recursion. - Joaquín Díaz-Boïls (J. Log. Comput., 2017)