%0 Conference Paper %1 conf/alp/Hardin92 %A Hardin, Thérèse %B ALP %D 1992 %E Kirchner, Hélène %E Levi, Giorgio %I Springer %K dblp %P 306-321 %T Eta-conversion for the Languages of Explicit Substitutions. %U http://dblp.uni-trier.de/db/conf/alp/alp92.html#Hardin92 %V 632 %@ 3-540-55873-X

@inproceedings{conf/alp/Hardin92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Hardin, Thérèse}, biburl = {https://www.bibsonomy.org/bibtex/21665485679a35cd12f19495c232b9c76/dblp}, booktitle = {ALP}, crossref = {conf/alp/1992}, editor = {Kirchner, Hélène and Levi, Giorgio}, ee = {https://doi.org/10.1007/BFb0013834}, interhash = {9327feac07ed5d1b24479a2b221f59a7}, intrahash = {1665485679a35cd12f19495c232b9c76}, isbn = {3-540-55873-X}, keywords = {dblp}, pages = {306-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:40.000+0200}, title = {Eta-conversion for the Languages of Explicit Substitutions.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp92.html#Hardin92}, volume = 632, year = 1992 }