About this scholarly article

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - Explicit substitutions and higher-order syntax by Ghani, Neil; Uustalu, Tarmo is a scholarly article available to read on EtoBox.

Author

Ghani, Neil; Uustalu, Tarmo

Publisher

ACM Press

Published

2003

Language

EN