DocumentCode
1958300
Title
Invertibility in λη
Author
Folkerts, Enno
fYear
1998
fDate
21-24 Jun 1998
Firstpage
418
Lastpage
429
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
Keywords
lambda calculus; λ calculus; bijective; insolvable terms; invertibility properties; subjective; Calculus; Decoding; Encoding; Equations; Time of arrival estimation;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location
Indianapolis, IN
ISSN
1043-6871
Print_ISBN
0-8186-8506-9
Type
conf
DOI
10.1109/LICS.1998.705676
Filename
705676
Link To Document