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

by Martín Escardó , Paulo Oliva
Venue:CIE 2010, INVITED TALK ON SPECIAL SESSION “PROOF THEORY AND COMPUTATION
Citations:9 - 8 self