Paper: Invertibility in lambda-eta (at LICS 1998)

Authors: Enno Folkerts

Abstract

This paper investigates invertibility properties of subjective and bijective terms in the closed term model of λη. With the help of insolvable terms, it will be shown that some special subjective terms are right-invertible and that all bijective terms are invertible

BibTeX

  @InProceedings{Folkerts-Invertibilityinlamb,
    author = 	 {Enno Folkerts},
    title = 	 {Invertibility in lambda-eta},
    booktitle =  {Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (LICS 1998)},
    year =	 {1998},
    month =	 {June}, 
    pages =      {418--429 },
    location =   {Indianapolis, IN, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }