%0 Conference Paper %1 journals/corr/EadesS13 %A III, Harley Eades %A Stump, Aaron %B COS %D 2013 %E de'Liguoro, Ugo %E Saurin, Alexis %K dblp %P 45-65 %T Hereditary Substitution for the λΔ-Calculus. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs127.html#EadesS13 %V 127

@inproceedings{journals/corr/EadesS13, added-at = {2021-11-25T00:00:00.000+0100}, author = {III, Harley Eades and Stump, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/271df0e1cc01a88a6afe6aed9051648f9/dblp}, booktitle = {COS}, crossref = {journals/corr/deLiguoroS13}, editor = {de'Liguoro, Ugo and Saurin, Alexis}, ee = {http://arxiv.org/abs/1309.1256}, interhash = {f69cb435fa950e8b86a7991a8184304a}, intrahash = {71df0e1cc01a88a6afe6aed9051648f9}, keywords = {dblp}, pages = {45-65}, series = {EPTCS}, timestamp = {2024-04-10T07:34:45.000+0200}, title = {Hereditary Substitution for the λΔ-Calculus.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs127.html#EadesS13}, volume = 127, year = 2013 }