On Noetherian spaces (2007)

by J Goubault-Larrecq
Venue:22nd IEEE Symposium on Logic in Computer Science, LICS’07. IEEE Computer Society