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.

A Logical Framework with Higher-Order Rational (Circular) Terms

Zhibo Chen, Frank Pfenning. A Logical Framework with Higher-Order Rational (Circular) Terms. In Orna Kupferman, Pawel Sobocinski 0001, editors, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Volume 13992 of Lecture Notes in Computer Science, pages 68-88, Springer, 2023. [doi]

Authors

Zhibo Chen

This author has not been identified. Look up 'Zhibo Chen' in Google

Frank Pfenning

This author has not been identified. It may be one of the following persons: Look up 'Frank Pfenning' in Google
runs on