Computability of continuous solutions of higher-type equations (2009)

by Martín Escardó
Citations:1 - 1 self