About systems of equations, X-separability, and left-invertibility in the λ-calculus
Corrado Böhm, Enrico TronciVolume:
90
Year:
1991
Language:
english
Pages:
32
DOI:
10.1016/0890-5401(91)90057-9
File:
PDF, 1.40 MB
english, 1991