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.

Implementing Cantor's Paradise

Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto. Implementing Cantor's Paradise. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 229-250, 2016. [doi]

Authors

Furio Honsell

This author has not been identified. Look up 'Furio Honsell' in Google

Marina Lenisa

This author has not been identified. Look up 'Marina Lenisa' in Google

Luigi Liquori

This author has not been identified. Look up 'Luigi Liquori' in Google

Ivan Scagnetto

This author has not been identified. Look up 'Ivan Scagnetto' in Google
runs on