Media type: E-Book; Conference Proceedings Title: Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding Corporation: Association for Computing Machinery imprint: New York, NY: ACM, 2003 Published in: ACM Digital Library ACM Conferences Extent: Online-Ressource (1 online resource (97 pages)) Language: English DOI: 10.1145/976571 ISBN: 1581138008 Identifier: Keywords: Computer science ; Software ; Theory of Computation ; Formal language definitions ; Formal languages and automata theory ; Computability ; Konferenzschrift Reproductino series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library