Jan Willem Klop Explained
Jan Willem Klop |
Birth Date: | 19 December 1945 |
Birth Place: | Gorinchem |
Thesis Title: | Combinatory Reduction Systems |
Thesis Url: | https://eprints.illc.uva.nl/id/eprint/1876/1/HDS-33-Jan-Willem-Klop.text.pdf |
Thesis Year: | 1980 |
Doctoral Advisor: | Dirk van Dalen, Henk Barendregt |
Doctoral Students: | Massimo Marchiori |
Awards: | University of East Anglia honorary doctorate (2002), IFIP WG 1.6 honorary member (2011) |
Spouse: | Marianne Leicher |
Partners: | )--> |
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)
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]
Selected publications
- Ph.D. thesis . Jan Willem Klop . Combinatory Reduction Systems . Utrecht University . 1980 .
- Book: J.C.M. Baeten, Jan Bergstra, Jan Willem Klop . Term Rewriting Systems with Priorities . 83–94 . 1987 . Lescanne, Pierre . Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87 . . 256 . Springer. - preceding technical report FVI 86-03
- Book: . Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- . 477–491 . 1989 . Nachum Dershowitz . Nachum Dershowitz . Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 . LNCS . 355 . Springer . - preceding technical report IEICE COMP 88-90
- Book: N. Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop . Open Problems in Rewriting . 445–456 . 1991 . Ronald V. Book . Ronald V. Book . Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 . LNCS . 488 . Springer .
- Book: Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. . Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) . 1–12 . 1991 . Book, Ronald V. . Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 . LNCS . 488 . Springer .
- Book: Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W. . More Problems in Rewriting . 468–487 . 1993 . Kirchner, Claude . Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 . LNCS . 690 . Springer .
- Book: Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. . Infinitary Lambda Calculi and Böhm Models . 257–270 . 1995 . Hsiang, Jieh . 6th Int. Conf. on Rewriting Techniques and Applications (RTA) . LNCS . 914 . Springer.
- Book: Klop, J.W. . Origin Tracking in Term Rewriting (invited lecture) . 1 . 1998 . Tobias Nipkow . Tobias Nipkow . Rewriting Techniques and Applications, 9th Int. Conf., RTA-98 . LNCS . 1379 . Springer.
External links
Notes and References
- http://janwillemklop.nl/Jan_Willem_Klop/CV.html Curriculum vitae
- Book: Marc Bezem . Jan Willem Klop . Roel de Vrijer . Terese - Term Rewriting Systems . Cambridge . Cambridge University Press . Cambridge Tracts in Theoretical Computer Science . 55 . 2003 .
- Book: Jan Willem Klop . New Fixed Point Combinators From Old . 197–210 . 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 . https://www.cs.ru.nl/barendregt60/essays/klop/art16_klop.pdf . 978-90-9022446-6 . 2007. Here: nr.1.3, p.198
- Web site: Jan Willem Klop . https://web.archive.org/web/20160208201834/https://www.knaw.nl/en/members/members/5915 . Royal Netherlands Academy of Arts and Sciences . 8 February 2016 . 8 February 2016.