Compactness and Continuity, Constructively Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Douglas S. Bridges, Hajime Ishihara, Peter Schuster. Compactness and Continuity, Constructively Revisited. In Julian C. Bradfield, editor, Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Volume 2471 of Lecture Notes in Computer Science, pages 89-102, Springer, 2002. [doi]

This author has not been identified. Look up 'Douglas S. Bridges' in GoogleThis author has not been identified. Look up 'Hajime Ishihara' in GoogleThis author has not been identified. Look up 'Peter Schuster' in Google

runs on WebDSL