![](/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 - Reasoning about recursive procedures with parameters
Back, Ralph-Johan, Preoteasa, ViorelYear:
2003
Language:
english
DOI:
10.1145/976571.976573
File:
PDF, 153 KB
english, 2003