Computational interpretations of analysis via products of selection functions (2010)

by M H Escardó, P Oliva
Venue:Computability in Europe 2010, LNCS 6158