On polymorphic types of untyped terms

作者：

Highlights：

• We assign polymorphic types to normal untyped lambda terms.

• As a consequence we obtain various extensions of Böhm's theorem.

• A better description can be found in the abstract.

摘要

•We assign polymorphic types to normal untyped lambda terms.•As a consequence we obtain various extensions of Böhm's theorem.•A better description can be found in the abstract.

论文关键词：Lambda calculus,Lambda calculus with surjective pairing,Polymorphic typings,Böhm's theorem

论文评审过程：Received 16 December 2012, Revised 21 October 2013, Accepted 3 February 2014, Available online 4 April 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.008