@inproceedings{inproceedings776b32fa,
title   = {Categorial forms of the axiom of choice},
author = {Brunner, Andreas Bernhard Michael and Silva, Samuel Gomes da and Mariano, Hugo Luiz},
year = {2014},
booktitle   = {Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)}
}