Invited Paper: Term Rewriting and Lambda Calculus (at LICS 2012)
Authors: Jan Willem Klop
Abstract
No Abstract Available
BibTeX
@InProceedings{Klop-TermRewritingandLam, author = {Jan Willem Klop}, title = {Term Rewriting and Lambda Calculus}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {12}, location = {Dubrovnik, Croatia}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }