A Notation for Lambda Terms Ii: Reenements and Applications a Notation for Lambda Terms Ii: Reenements and Applications

@inproceedings{Nadathur1994ANF,
  title={A Notation for Lambda Terms Ii: Reenements and Applications a Notation for Lambda Terms Ii: Reenements and Applications},
  author={Gopalan Nadathur},
  year={1994}
}
Issues that are relevant to the representation of lambda terms in contexts where their intensions have to be manipulated are examined. The basis for such a representation is provided by the suspension notation for lambda terms that is described in a companion paper. This notation obviates-conversion in the comparison of terms by using thènameless' scheme of… CONTINUE READING