Jan Willem Klop

Jan Willem Klop (born 1945) is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. Klop is known for his work on the algebra of communicating processes, co-author of TeReSe^[2] and his fixed point combinator^[3]

Y_k = (L L L L L L L L L L L L L L L L L L L L L L L L L L)

where

L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))

Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.^[4]

• Jan Willem Klop (1980). Combinatory Reduction Systems (PDF) (Ph.D. thesis). Utrecht University.
• J.C.M. Baeten, Jan Bergstra, Jan Willem Klop (1987). "Term Rewriting Systems with Priorities". In Lescanne, Pierre (ed.). Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87. LNCS. Vol. 256. Springer. pp. 83–94.{{cite book}}: CS1 maint: multiple names: authors list (link) — preceding technical report FVI 86-03
• Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). "Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-". In Nachum Dershowitz (ed.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89. LNCS. Vol. 355. Springer. pp. 477–491.{{cite book}}: CS1 maint: multiple names: authors list (link) — preceding technical report IEICE COMP 88-90
• N. Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop (1991). "Open Problems in Rewriting". In Ronald V. Book (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF). LNCS. Vol. 488. Springer. pp. 445–456.{{cite book}}: CS1 maint: multiple names: authors list (link)
• Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1991). "Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract)". In Book, Ronald V. (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF). LNCS. Vol. 488. Springer. pp. 1–12.{{cite book}}: CS1 maint: multiple names: authors list (link)
• Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W. (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 (PDF). LNCS. Vol. 690. Springer. pp. 468–487.{{cite book}}: CS1 maint: multiple names: authors list (link)
• Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1995). "Infinitary Lambda Calculi and Böhm Models". In Hsiang, Jieh (ed.). 6th Int. Conf. on Rewriting Techniques and Applications (RTA). LNCS. Vol. 914. Springer. pp. 257–270.{{cite book}}: CS1 maint: multiple names: authors list (link)
• Klop, J.W. (1998). "Origin Tracking in Term Rewriting (invited lecture)". In Tobias Nipkow (ed.). Rewriting Techniques and Applications, 9th Int. Conf., RTA-98. LNCS. Vol. 1379. Springer. p. 1.

• Jan Willem Klop's homepage
• Jan Willem Klop at the Mathematics Genealogy Project

This article about a person from the Netherlands is a stub. You can help Wikipedia by expanding it.

• v
• t
• e

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.

• v
• t
• e