PT Unknown
AU Böhm, C
   Tronci, E
TI X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper)
SE Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea
PY 1987
PI Cesena - Italy
ER