Joaquín Díaz-Boïls

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Transitive Closure

Polynomial Hierarchy

Top Venues

J. Log. Comput.

Publications

Joaquín Díaz-Boïls
Distributive Minimization Comprehensions and the Polynomial Hierarchy. CoRR (2017)
Joaquín Díaz-Boïls
Categorical comprehensions and recursion. J. Log. Comput. 27 (5) (2017)
J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes
Timed Sets, Functional Complexity, and Computability. MFPS (2012)