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

書目詳細資料
格式: 電子 電子書
語言:英语
出版: Association for Computing Machinery (ACM), 8/26/03
主題:
在線閱讀:Full text available on Research4Life (ACM)

相似書籍