@inproceedings{XiWoLLIC05,,
author = "Hongwei Xi",
title = {{Development Separation in Lambda-Calculus}},
booktitle = "Proceedings of the 12th Workshop on Logic, Language, Information and Computation",
publisher = "ENTCS",
volume = "143",
year = 2005,
pages = "207--221",
address = "Florianopolis, Santa Catarina, Brazil",
}