続・いろいろなラムダ

ライオネル・ヴォ（Lionel Vaux）の微分ラムダ計算、タイトルで色物かと思ったが、すごいちゃんとしていた。

• Title: The differential lambda-mu-calculus
• Autohr: Lionel Vaux
• URl: https://hal.archives-ouvertes.fr/hal-00349304/document

このなかで、アレキシ・ソリン(? ソーハに聞こえる http://ja.forvo.com/word/saurin/)（Alexis Saurin）のstream λµ-calculus ＝ Λμ も紹介していた。

• Title: Separation with streams in the λµ-calculus
• Author: Alexis Saurin
• URL: http://www.pps.univ-paris-diderot.fr/~saurin/Publi/saurin-separation.pdf