Title :
Invertibility in λη
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;
Conference_Titel :
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location :
Indianapolis, IN
Print_ISBN :
0-8186-8506-9
DOI :
10.1109/LICS.1998.705676
