Group Abstract Group Abstract

Message Boards Message Boards

Three questions about the principles of rewrite / substitution system

Posted 5 years ago
POSTED BY: Marko Manninen
3 Replies

Thank you, José. I suspected 2, but 1 and especially 3 was the most interesting follow up! -Marko

POSTED BY: Marko Manninen

In EP380 there is also a short mention about Lambda Calculus and variable renaming: https://youtu.be/z7boq5L0qZc?t=3413 Looking forward the joined discussion with LC expert in future, it will be super exciting.

POSTED BY: Marko Manninen
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard