External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 4

PDF

Bibliographies

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.

Strong Normalization for System F by HOAS on Top of FOAS

Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn. Strong Normalization for System F by HOAS on Top of FOAS. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 31-40, IEEE Computer Society, 2010. [doi]

Authors

Andrei Popescu

This author has not been identified. Look up 'Andrei Popescu' in Google

Elsa L. Gunter

This author has not been identified. Look up 'Elsa L. Gunter' in Google

Christopher J. Osborn

This author has not been identified. Look up 'Christopher J. Osborn' in Google
runs on