![](/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 - A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
Momigliano, Alberto, Polakow, JeffYear:
2003
Language:
english
DOI:
10.1145/976571.976581
File:
PDF, 250 KB
english, 2003