XML 変換言語はチューリングおじさんの夢を見ない / Lambda calculus implementation by XSLT 1.0 - Speaker Deck
https://speakerdeck.com/lo48576/lambda-calculus-implementation-by-xslt-1-dot-0
lo48576/xslt10-lambda-calculus: Lambda calculus by XSLT 1.0 (and `node-set()` of EXSLT)
https://github.com/lo48576/xslt10-lambda-calculus
λ計算の評価規則を素朴に XSLT に翻訳すると処理系書けたよみたいな話です、ご査収ください
speakerdeck.comXML 変換言語はチューリングおじさんの夢を見ない / Lambda calculus implementation by XSLT 1.0XML データの変換言語である XSLT 1.0 を用いてλ計算の処理系を実装することにより、これがチューリング完全であることを示した。
東工大ロボット技術研究会 2018年度後期研究報告会 (2018-12-16) 発表資料。
speakerdeck だとスライド中のリンクが使えないので、 https://nextcloud.cardina1.red/s/Aae8AqRHnBs5RLn?path=%2Fpresentations にも上げてあります。