Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016
巻, 号, ページ
pp. 28-43
出版年月
2017年10月27日
出版者
和文:
英文:
World Scientific
会議名称
和文:
英文:
開催地
和文:
セブシティ
英文:
Cebu City
アブストラクト
In this paper, we depict that the first-class environment indwells in the categorical combinatory logic, giving the translation of the simply-typed lambda calculus with first-class environments into the categorical combinatory logic. We show the translation respects the typing and the reduction.
各種検索
サポート
ヘルプ