Jan Willem Klop
From Wikipedia, the free encyclopedia
Born19 December 1945
Gorinchem, Netherlands
Died28 September 2025 (aged 79)
SpouseMarianne Leicher
Children1[1]
Jan Willem Klop | |
|---|---|
| Born | 19 December 1945 Gorinchem, Netherlands |
| Died | 28 September 2025 (aged 79) |
| Spouse | Marianne Leicher |
| Children | 1[1] |
| Awards |
|
| Scientific career | |
| Thesis | Combinatory Reduction Systems (1980) |
| Doctoral advisor | |
| Doctoral students | Massimo Marchiori |
Jan Willem Klop (19 December 1945 – 28 September 2025) was a Dutch mathematician who was professor of applied logic at Vrije Universiteit in Amsterdam. He held 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]
- 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.[4] He died on 28 September 2025, at the age of 79.[5]
