Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Thirteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1998)

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}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski