Talk at Logic and Applications 2015 (LAP 2015), Dubrovnik
http://imft.ftn.uns.ac.rs/math/cms/LAP2015
Title: Computational interpretations of the classical Axiom of Choice
Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net