Jan Willem Klop

Jan Willem Klop
Född	( 1945-12-19 ) 19 december 1945 Gorinchem
Make	Marianne Leicher
Barn	Maartje (1976)
Utmärkelser	University of East Anglia hedersdoktor (2002), IFIP WG 1.6 hedersmedlem (2011)
Vetenskaplig karriär
Avhandling	Combinatory Reduction Systems (1980)
Doktorand rådgivare	Dirk van Dalen , Henk Barendregt
Doktorander	Massimo Marchiori

Jan Willem Klop (född 1945) är professor i tillämpad logik vid Vrije Universiteit i Amsterdam . Han har en Ph.D. i matematisk logik från Utrecht University . Klop är känd för sitt arbete med Algebra of Communicating Processes, medförfattare till TeReSe och hans fixpunktskombinator

Y _k = (LLLLLLLLLLLLLLLLLLLL LLLLL)

var

L = λabcdefghijklmnopqstuvwxyzr. (r (detta är en fixedpointcomb inator))

Klop blev medlem av Royal Netherlands Academy of Arts and Sciences 2003.

Utvalda publikationer

• Jan Willem Klop (1980). Combinatory Reduction Systems (PDF) (Ph.D.-avhandling). Utrecht universitet.
• JCM Baeten, Jan Bergstra , Jan Willem Klop (1987). "Termomskrivningssystem med prioriteringar". I Lescanne, Pierre (red.). Rewriting Techniques and Applications , 2nd Int. Conf., RTA-87 . LNCS . Vol. 256. Springer. s. 83–94. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk ) — föregående teknisk rapport FVI 86-03
• Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). "Uppsägning för den direkta summan av vänster-linjära termomskrivningssystem -Preliminärt utkast-". I Nachum Dershowitz (red.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 . LNCS. Vol. 355. Springer. s. 477–491. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk ) — föregående teknisk rapport IEICE COMP 88-90
• N. Dershowitz, Jean-Pierre Jouannaud , Jan Willem Klop (1991). "Öppna problem vid omskrivning". I Ronald V. Book (red.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF) . LNCS. Vol. 488. Springer. s. 445–456. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk )
• Kennaway, R. och Klop, JW och Sleep, MR och de Vries, F.-J. (1991). "Transfinita minskningar i ortogonala termomskrivningssystem (extended abstract)". I bok, Ronald V. (red.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 (PDF) . LNCS. Vol. 488. Springer. s. 1–12. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk )
• Dershowitz, N. och Jouannaud, J.-P. och Klop, JW (1993). "Fler problem med att skriva om". I Kirchner, Claude (red.). Rewriting Techniques and Applications, 5th Int. Konf., RTA-93 (PDF) . LNCS. Vol. 690. Springer. s. 468–487. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk )
• Kennaway, R. och Klop, JW och Sleep, MR och de Vries, F.-J. (1995). "Infinitary Lambda Calculi och Böhm-modeller". I Hsiang, Jieh (red.). 6:e Int. Konf. om Rewriting Techniques and Applications (RTA) . LNCS. Vol. 914. Springer. s. 257–270. {{ citera bok }} : CS1 underhåll: flera namn: lista över författare ( länk )
• Klop, JW (1998). "Origin Tracking in Term Rewriting (inbjuden föreläsning)". I Tobias Nipkow (red.). Rewriting Techniques and Applications, 9th Int. Conf., RTA-98 . LNCS. Vol. 1379. Springer. sid. 1.

externa länkar

• Jan Willem Klops hemsida
• Jan Willem Klop vid Mathematics Genealogy Project