Loïc Colson, Natasa Jonoska, Maurice Margenstern. lambda-P Systems and Typed lambda-Calculus. In Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa, editors, Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers. Volume 3365 of Lecture Notes in Computer Science, pages 1-18, Springer, 2004. [doi]
@inproceedings{ColsonJM04, title = {lambda-P Systems and Typed lambda-Calculus}, author = {Loïc Colson and Natasa Jonoska and Maurice Margenstern}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3365&spage=1}, tags = {type system}, researchr = {https://researchr.org/publication/ColsonJM04}, cites = {0}, citedby = {0}, pages = {1-18}, booktitle = {Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers}, editor = {Giancarlo Mauri and Gheorghe Paun and Mario J. Pérez-Jiménez and Grzegorz Rozenberg and Arto Salomaa}, volume = {3365}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25080-8}, }