• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Harry G. Mairson
  • Mathematics, Computer Science
  • Theor. Comput. Sci.
  • 1992 (First Publication: 14 September 1992)
  • Abstract In this note, we reprove a theorem of Statman that deciding the βη-equality of two first-order typable λ-terms is not elementary recursive (Statman, 1982). The basic idea of our proof, likeExpand
  • Harry G. Mairson
  • Computer Science
  • J. Funct. Program.
  • 2004 (First Publication: 1 November 2004)
  • We give transparent proofs of the PTIME-completeness of two decision problems for terms in the λ-calculus. The first is a reproof of the theorem that type inference for the simply-typed λ-calculus isExpand