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]
Jan Willem Klop | |
|---|---|
| Born | December 19, 1945 |
| Spouse | Marianne Leicher |
| Children | Maartje (1976)[1] |
| Awards | 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 |
- 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
edit- Jan Willem Klop (1980). Combinatory Reduction Systems (PDF) (Ph.D. thesis). Utrecht University.
- J.C.M. Baeten, Jan Bergstra, Jan Willem Klop (1987). "Term Rewriting Systems with Priorities". In Lescanne, Pierre (ed.). Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87. LNCS. Vol. 256. Springer. pp. 83–94.83-94&rft.pub=Springer&rft.date=1987&rft.au=J.C.M. Baeten, Jan Bergstra, Jan Willem Klop&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) — preceding technical report FVI 86-03 - Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). "Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-". In Nachum Dershowitz (ed.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89. LNCS. Vol. 355. Springer. pp. 477–491.477-491&rft.pub=Springer&rft.date=1989&rft.au=Y. Toyama, Jan Willem Klop, Henk Barendregt&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) — preceding technical report IEICE COMP 88-90 - N. Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop (1991). "Open Problems in Rewriting". In Ronald V. Book (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF). LNCS. Vol. 488. Springer. pp. 445–456.445-456&rft.pub=Springer&rft.date=1991&rft.au=N. Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop&rft_id=http://janwillemklop.nl/Jan_Willem_Klop/Bibliography_files/58.openproblems.pdf&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) - Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1991). "Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract)". In Book, Ronald V. (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF). LNCS. Vol. 488. Springer. pp. 1–12.1-12&rft.pub=Springer&rft.date=1991&rft.au=Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J.&rft_id=http://oai.cwi.nl/oai/asset/2017/2017A.pdf&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) - Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W. (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 (PDF). LNCS. Vol. 690. Springer. pp. 468–487.468-487&rft.pub=Springer&rft.date=1993&rft.au=Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W.&rft_id=http://www.cs.tau.ac.il/~nachum/papers/LNCS/MoreProblems.pdf&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) - Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1995). "Infinitary Lambda Calculi and Böhm Models". In Hsiang, Jieh (ed.). 6th Int. Conf. on Rewriting Techniques and Applications (RTA). LNCS. Vol. 914. Springer. pp. 257–270.257-270&rft.pub=Springer&rft.date=1995&rft.au=Kennaway, R. and Klop, J.W. and Sleep, M.R. and de Vries, F.-J.&rft_id=https://www.researchgate.net/publication/221220479&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988">
{{cite book}}: CS1 maint: multiple names: authors list (link) - Klop, J.W. (1998). "Origin Tracking in Term Rewriting (invited lecture)". In Tobias Nipkow (ed.). Rewriting Techniques and Applications, 9th Int. Conf., RTA-98. LNCS. Vol. 1379. Springer. p. 1.
References
edit- ^ 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.197-210&rft.pub=University Nijmegen&rft.date=2007&rft.isbn=978-90-9022446-6&rft.au=Jan Willem Klop&rft_id=https://www.cs.ru.nl/barendregt60/essays/klop/art16_klop.pdf&rfr_id=info:sid/en.wikipedia.org:Jan Willem Klop" class="Z3988"> 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.
External links
edit
  | This article about a person from the Netherlands is a stub. You can help Wikipedia by expanding it. |
 | This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |