pdf-format: |
|
@InProceedings{accattoli:LIPIcs:2012:3481, author = {Beniamino Accattoli}, title = {{An Abstract Factorization Theorem for Explicit Substitutions}}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) }, pages = {6--21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-38-5}, ISSN = {1868-8969}, year = {2012}, volume = {15}, editor = {Ashish Tiwari}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3481}, URN = {urn:nbn:de:0030-drops-34813}, doi = {10.4230/LIPIcs.RTA.2012.6}, annote = {Keywords: lambda-calculus, Standardization, Explicit Substitutions, Abstract rewriting, Diagrammatic reasoning} }
Keywords: | lambda-calculus, Standardization, Explicit Substitutions, Abstract rewriting, Diagrammatic reasoning | |
Seminar: | 23rd International Conference on Rewriting Techniques and Applications (RTA'12) | |
Issue date: | 2012 | |
Date of publication: | 29.05.2012 |