Diagonalization of continuous matrices as a representation of intuitionistic reals (0)

by Scedrov Andre
Venue:Ann. Pure Appl. Logic