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.

Computing in Cantor's Paradise with λ ZFC

Neil Toronto, Jay McCarthy. Computing in Cantor's Paradise with λ ZFC. In Tom Schrijvers, Peter Thiemann, editors, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Volume 7294 of Lecture Notes in Computer Science, pages 290-306, Springer, 2012. [doi]

Authors

Neil Toronto

This author has not been identified. Look up 'Neil Toronto' in Google

Jay McCarthy

This author has not been identified. Look up 'Jay McCarthy' in Google
runs on