Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding

書誌詳細
フォーマット: 電子媒体 eBook
言語:英語
出版事項: Association for Computing Machinery (ACM), 8/26/03
主題:
オンライン・アクセス:Full text available on Research4Life (ACM)

類似資料