@Inproceedings{EPTCS56.3, author = {Boisvert, Bertrand and F\'eraud, Louis and Soloviev, Sergei}, year = {2011}, title = {Typed lambda-terms in categorical attributed graph transformation}, editor = {Dur\'an, Francisco and Rusu, Vlad}, booktitle = {{\rm Proceedings Second International Workshop on} Algebraic Methods in Model-based Software Engineering, {\rm Zurich, Switzerland, 30th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {56}, publisher = {Open Publishing Association}, pages = {33-47}, doi = {10.4204/EPTCS.56.3}, }