Pages that link to "Item:Q1145689"

The following pages link to Invertible terms in the lambda calculus (Q1145689):

Displaying 3 items.

• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
• Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)
• (Q5089036) (← links)