![](/img/cover-not-exists.png)
[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - Explicit substitutions and higher-order syntax
Ghani, Neil, Uustalu, TarmoYear:
2003
Language:
english
DOI:
10.1145/976571.976580
File:
PDF, 173 KB
english, 2003