ヤン・ウィレム・クロップ

ヤン・ウィレム・クロップ（1945年生まれ）は、アムステルダム自由大学の応用論理学教授。ユトレヒト大学で数理論理学の博士号を取得。クロップは、通信過程の代数に関する研究、 TeReSe ^[2]の共著者、および不動点コンビネータ^[3]で知られている。

Y _k = (LLLLLLLLLLLLLLLLLLLLLLLLL)

どこ

L = λabcdefghijklmnopqstuvwxyzr. (r (これは固定点コンビネータです))

クロップは2003年にオランダ王立芸術科学アカデミーの会員となった。 ^[4]

• ヤン・ウィレム・クロップ（1980年）。組み合わせ還元システム(PDF) (博士論文)。ユトレヒト大学。
• JCM Baeten、Jan Bergstra、Jan Willem Klop (1987)。「優先度付き項書き換えシステム」。Lescanne、Pierre (編)。書き換え技術とアプリケーション、第 2 回国際会議、RTA-87。LNCS。第 256 巻。Springer。pp. 83–94 。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)— 前回の技術報告書 FVI 86-03
• Y. Toyama、Jan Willem Klop、Henk Barendregt (1989)。「左線形項書き換えシステムの直和の停止性 - 予備草案 -」。Nachum Dershowitz (編)。書き換え技術とアプリケーション、第 3 回国際会議、RTA-89。LNCS。第 355 巻。Springer。pp. 477–491。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)— 先行技術報告書 IEICE COMP 88-90
• N. Dershowitz、Jean-Pierre Jouannaud、Jan Willem Klop (1991)。「書き換えにおける未解決の問題」。Ronald V. Book (編) 著。書き換えテクニックとアプリケーション、第 4 回国際会議、RTA-91 (PDF)。LNCS。第 488 巻。Springer。pp. 445–456。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Kennaway, R.、Klop, JW、Sleep, MR、de Vries, F.-J. (1991)。「直交項書き換えシステムにおける超限縮約 (拡張要約)」。Ronald V. (編) 著。書き換え技術とアプリケーション、第 4 回国際会議、RTA-91 (PDF)。LNCS。第 488 巻。Springer。pp. 1–12。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Dershowitz, N.、Jouannaud, J.-P.、Klop, JW (1993)。「書き換えにおけるその他の問題」。Kirchner, Claude (編)。書き換え技術とアプリケーション、第 5 回国際会議、RTA-93 (PDF)。LNCS。第 690 巻。Springer。pp. 468–487。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Kennaway, R.、Klop, JW、Sleep, MR、de Vries, F.-J. (1995)。「無限ラムダ計算と Böhm モデル」。Hsiang, Jieh (編)。第 6 回書き換え技術およびアプリケーションに関する国際会議 (RTA)。LNCS。第 914 巻。Springer。pp. 257–270。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Klop, JW (1998)。「用語書き換えにおけるオリジン トラッキング (招待講演)」。Tobias Nipkow (編)。書き換えテクニックとアプリケーション、第 9 回国際会議、RTA-98。LNCS。第 1379 巻。Springer。p. 1。

• ヤン・ウィレム・クロップのホームページ
• 数学系譜プロジェクトのヤン・ウィレム・クロップ