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.

Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

Arve Gengelbach, Tjark Weber. Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. In Violet Ka I Pun, Volker Stolz, Adenilso Simão, editors, Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Volume 12545 of Lecture Notes in Computer Science, pages 23-42, Springer, 2020. [doi]

Authors

Arve Gengelbach

This author has not been identified. Look up 'Arve Gengelbach' in Google

Tjark Weber

This author has not been identified. Look up 'Tjark Weber' in Google
runs on