Invertibility in λη
E. Folkerts · 2002
This paper investigates invertibility properties of subjective and bijective terms in the closed term model of /spl lambda//spl eta/. 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.