Translations of First-Class Environments to Records

論文・著書情報

タイトル

和文:
英文:	Translations of First-Class Environments to Records

著者

和文:	西崎真也, Yohji AKAMA.
英文:	Shin-ya NISHIZAKI, Yohji AKAMA.

言語

English

掲載誌/書名

和文:
英文:	Proceedings of First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs

巻, 号, ページ

pp. 81-92

出版年月

1998年7月

出版者

和文:
英文:

会議名称

和文:
英文:	First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs

開催地

和文:
英文:	Tsukuba,Japan

ファイル