What is it about?
a Higher-order abstract syntax encoding of Howe's method for proving that contextual equivalence is a congruence
Featured Image
Why is it important?
It's a first
Read the Original
This page is a summary of: A supposedly fun thing i may have to do again, January 2012, ACM (Association for Computing Machinery),
DOI: 10.1145/2364406.2364411.
You can read the full text:
Resources
Contributors
The following have contributed to this page
