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.

Decision Algorithms for Checking Definability of Order-2 Finitary PCF

Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001. Decision Algorithms for Checking Definability of Order-2 Finitary PCF. In Xinyu Feng, Sungwoo Park, editors, Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Volume 9458 of Lecture Notes in Computer Science, pages 313-331, Springer, 2015. [doi]

Authors

Sadaaki Kawata

This author has not been identified. Look up 'Sadaaki Kawata' in Google

Kazuyuki Asada

This author has not been identified. Look up 'Kazuyuki Asada' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google
runs on