External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Continuous Functionals of Dependent Types and Equilogical Spaces

Andrej Bauer, Lars Birkedal. Continuous Functionals of Dependent Types and Equilogical Spaces. In Peter Clote, Helmut Schwichtenberg, editors, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Volume 1862 of Lecture Notes in Computer Science, pages 202-216, Springer, 2000. [doi]

Authors

Andrej Bauer

This author has not been identified. Look up 'Andrej Bauer' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google
runs on