Abstract: 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.
Publication Year: 2002
Publication Date: 2002-11-27
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot