Paper: X-Separability and Left-Invertibility in lambda-calculus (at LICS 1987)
Authors: C. Böhm E. TronciAbstract
No Abstract Available
BibTeX
@InProceedings{BhmTronci-XSeparabilityandLef, author = {C. Böhm and E. Tronci}, title = {X-Separability and Left-Invertibility in lambda-calculus}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {320--328 }, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }