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 and his fixed point combinator


 * Yk = (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.

Selected publications

 * &mdash; preceding technical report FVI 86-03
 * &mdash; preceding technical report IEICE COMP 88-90
 * &mdash; preceding technical report IEICE COMP 88-90