University of East Anglia honorary doctorate (2002), IFIP WG 1.6 honorary member (2011)
Scientific career
Thesis
Combinatory Reduction Systems(1980)
Doctoral advisor
Dirk van Dalen, Henk Barendregt
Doctoral students
Massimo Marchiori
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]
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]
^Curriculum vitae
^Marc Bezem; Jan Willem Klop; Roel de Vrijer, eds. (2003). Terese — Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science. Vol. 55. Cambridge: Cambridge University Press.
^Jan Willem Klop (2007). "New Fixed Point Combinators From Old" (PDF). In Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui (eds.). Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday]. University Nijmegen. pp. 197–210. ISBN 978-90-9022446-6. Here: nr.1.3, p.198
^"Jan Willem Klop". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 8 February 2016. Retrieved 8 February 2016.
JanWillemKlop (born 1945) is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University...
intelligence officer JanWillemKlop, Dutch mathematician KLOP, a U.S. radio station Mölkky, a Scandinavian lawn game also marketed in English as "Klop" Clop (disambiguation)...
is known as the Barendregt–Geuvers–Klop conjecture (named after Henk Barendregt, Herman Geuvers, and JanWillemKlop). A pure type system is defined by...
Cambridge University Press. ISBN 978-0-521-77920-3. 316 pages. Marc Bezem, JanWillemKlop, Roel de Vrijer ("Terese"), Term Rewriting Systems ("TeReSe"), Cambridge...
algebras or process calculi. ACP was initially developed by Jan Bergstra and JanWillemKlop in 1982, as part of an effort to investigate the solutions...
String-rewriting Systems. Springer. ISBN 0-387-97965-4. Marc Bezem; JanWillemKlop; Roel de Vrijer; Terese (2003). "1". Term rewriting systems. Cambridge...
Algebra of Communicating Processes (ACP) was developed by Jan Bergstra and JanWillemKlop in 1982, and uses an axiomatic approach (in the style of Universal...
cross-fertilization of ideas between CCS and CSP as they developed. In 1982 Jan Bergstra and JanWillemKlop began work on what came to be known as the Algebra of Communicating...
starting in 1984, with JanWillemKlop, Jos Baeten and others; Module Algebra starting in 1986, together with Paul Klint and Jan Heering; Program Algebra...
that can communicate." This field was initially developed by Jan Bergstra and JanWillemKlop in 1982. With Alban Ponse and Bas van Vlijmen, Verhoef initiated...
Types and Programming Languages. MIT Press. p. 56. ISBN 0-262-16209-1. Klop, JanWillem; van Oostrom, Vincent; van Raamsdonk, Femke (2007). "Reduction Strategies...
requires |journal= (help) Dershowitz, N. and Jouannaud, J.-P. and JanWillemKlop (1991). "Open Problems in Rewriting". In Ronald V. Book (ed.). Rewriting...
these players, such as Leo van Veen, Frans Adelaar, Willem van Hanegem, Ton du Chatinier and Jan Wouters, would later return to the club as managers....
16 December 1995: "Commandant of the Marine Corps" 52. Major General E.C. Klop, 16 December 1995 – 6 September 2001: "Commandant of the Marine Corps" 53...
ISBN 978-0-85729-527-9. Van Dalen 1963. KNAW 2003. Barendregt, Henk; Bezem, Marc; Klop, JanWillem, eds. (1993). Dirk van Dalen Festschrift. University of Utrecht, Department...
Conrad Shipyard in Haarlem, Gusto Shipyard in Schiedam, Machine Factory De Klop in Sliedrecht, J. & K. Smit in Kinderdijk, L. Smit in Kinderdijk, and Verschure...
1749–1759 Petrus Loosjes Azn & Jan Wagenaar Vaderlandsche historie 1754 anonymous Karmans kermis-wensch 1756 JanWillem Kals Neerlands hooft- en wortelsonde...
original on 5 January 2021. Retrieved 8 January 2021. "GRONINGEN KRIJGT FORS KLOP VAN CAMBUUR" (in Dutch). FC Update. 14 September 2014. Archived from the...
Archived from the original on 14 July 2014. Retrieved 26 June 2014. "Haaie klop Kavaliers in slordige wedstryd" (in Afrikaans). Beeld. 5 August 2000. Archived...