Jan Willem Klop

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Jan Willem Klop
Born (1945-12-19)December 19, 1945
Thesis Combinatory Reduction Systems (1980)
Doctoral advisor Dirk van Dalen, Henk Barendregt
Doctoral students Jörg Endrullis, Clemens Grabmayer, Jeroen Ketema, Massimo Marchiori, Aart Middeldorp, Robert Jan van Glabbeek, Vincent van Oostrom, Femke van Raamsdonk
Notable awards University of East Anglia honorary doctorate (2002), IFIP WG 1.6 honorary member (2011)
Spouse Marianne Leicher
Children Maartje (1976)[1]

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)


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]

Selected publications[edit]


  1. ^ Curriculum vitae
  2. ^ Marc Bezem; Jan Willem Klop; Roel de Vrijer, eds. (2003). Terese — Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science. 55. Cambridge: Cambridge University Press. 
  3. ^ Jan Willem Klop (2007). "New Fixed Point Combinators From Old" (PDF). In Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui. 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
  4. ^ "Jan Willem Klop". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 8 February 2016. Retrieved 8 February 2016. 

External links[edit]