A CATEGORICAL MODEL OF lambda-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS - Collections

＜journal article＞
A CATEGORICAL MODEL OF lambda-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS

Creator	Creator Name Otsuka, Hiroshi 大塚, 寛 Affiliation Affiliation Name Department of Mathematics, Kyushu University 九州大学数学科
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	1989-03
Source Title	Bulletin of informatics and cybernetics
Vol	23
Issue	3/4
First Page	129
Last Page	140
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/13400
Related DOI	Bulletin of informatics and cybernetics \|\| 23(3/4) \|\| p129-140
Related DOI	http://bic.math.kyushu-u.ac.jp/
Related URI	Bulletin of informatics and cybernetics \|\| 23(3/4) \|\| p129-140
Related URI	http://bic.math.kyushu-u.ac.jp/
Relation	Bulletin of informatics and cybernetics \|\| 23(3/4) \|\| p129-140
Relation	http://bic.math.kyushu-u.ac.jp/
Abstract	This paper contains an interpretation of de Bruijn's name-free expression in $ mathrm{C} &-monoid. We show that certain construction of $ mathrm{C} $-monoid (Kleisli C-monoid) corresponds with the exp...ression of $ lambda $-calculus by de Bruijn's name-free expression. In particular, the procedure of substitution in de Bruijn's name-free expression, which is more accurate than that in calculus, is systematically characterized in $ mathrm{C} $-monoid.show more

File	FileType	Size	Views	Description
p129	pdf	559 KB	341