[logic-ml] Talk by Nao Hirokawa (22 Dec 11:00-)

[Tetsuya Sato]

京都大学数理解析研究所の佐藤です。

12月22日11:00から、北陸先端科学技術大学院大学‎の廣川直先生に
以下の講演をしていただくことになりましたので、
ご連絡いたします。どうぞお気軽にお越しください。
==========
Time:	11:00-12:00, 22 Dec, 2016
Place:	Rm 478, Research Building 2, Main Campus, Kyoto University
	京都大学 本部構内 総合研究2号館 4階478号室
	http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34)
	http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物)

Speaker: Nao Hirokawa (Japan Advanced Institute of Science and Technology)

Title:	Basic Normalization

Abstract:
The Normalization Theorem (O'Donnell 1977) states that for
every left-normal orthogonal rewrite system, the leftmost
outermost strategy reduces any term to the normal form
if it exists. Although the theorem ensures the normalization
property of important systems such as Combinatory Logic, the
left-normality condition rules out most of functional programs.
We revisit the problem to seek a solution for normalization
of the leftmost outermost strategy. This work is based on
joint work with Aart Middeldorp and Georg Moser.