Invited tutorial at LICS 2012
Together with Jan Willem Klop, I gave the invited tutorial Term Rewriting and Lambda Calculus at the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012) in Dubrovnik, Croatia.
Together with Jan Willem Klop, I gave the invited tutorial Term Rewriting and Lambda Calculus at the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012) in Dubrovnik, Croatia.