Jan Willem Klop - Jan Willem Klop

Jan Willem Klop
Urodzony ( 19.12.1945 ) 19 grudnia 1945
Gorinchem
Małżonek (e) Marianne Leicher
Dzieci Maartje (1976)
Nagrody Doktorat honoris causa University of East Anglia (2002), członek honorowy IFIP WG 1.6 (2011)
Kariera naukowa
Praca dyplomowa Kombinacyjne systemy redukcyjne   (1980)
Doradca doktorancki Dirk van Dalen , Henk Barendregt
Doktoranci Massimo Marchiori

Jan Willem Klop (ur. 1945) jest profesorem logiki stosowanej na Vrije Universiteit w Amsterdamie . Posiada tytuł doktora w logice matematycznej z Uniwersytetu w Utrechcie . Klop jest znany ze swojej pracy nad algebrą procesów komunikacyjnych , współautorem TeReSe i jego kombinatora punktów stałych

Y k = (LLLLLLLLLLLLLLLLLLL LLLLL)

gdzie

L = λabcdefghijklmnopqstuvwxyzr. (r (to jest naprawiony inator punktowy))

Klop został członkiem Królewskiej Holenderskiej Akademii Sztuki i Nauki w 2003 roku.

Wybrane publikacje

  • Jan Willem Klop (1980). Kombinacyjne systemy redukcyjne (PDF) (praca doktorska). Uniwersytet w Utrechcie.
  • JCM Baeten, Jan Bergstra , Jan Willem Klop (1987). „Systemy ponownego zapisywania terminów z priorytetami”. W Lescanne, Pierre (red.). Techniki i aplikacje przepisywania , 2nd Int. Konf., RTA-87 . LNCS . 256 . Skoczek. pp. 83–94. CS1 maint: wiele nazw: lista autorów ( link ) - poprzedzający raport techniczny FVI 86-03
  • Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). „Wypowiedzenie dla bezpośredniej sumy lewostronnych systemów przepisywania terminów - Wstępna wersja robocza-”. W Nachum Dershowitz (red.). Przepisywanie technik i aplikacji, 3rd Int. Konf., RTA-89 . LNCS. 355 . Skoczek. pp. 477–491. CS1 maint: wiele nazw: lista autorów ( link ) - poprzedzający raport techniczny IEICE COMP 88-90
  • N. Dershowitz, Jean-Pierre Jouannaud , Jan Willem Klop (1991). „Otwórz problemy z przepisywaniem”. W Ronald V. Book (red.). Techniki i aplikacje przepisywania, 4th Int. Conf., RTA-91 (PDF) . LNCS. 488 . Skoczek. s. 445–456. CS1 maint: wiele nazw: lista autorów ( link )
  • Kennaway, R. i Klop, JW and Sleep, MR i de Vries, F.-J. (1991). „Nieskończone redukcje w systemach ortogonalnego przepisywania terminów (streszczenie rozszerzone)”. W książce Ronald V. (red.). Techniki i aplikacje przepisywania, 4th Int. Conf., RTA-91 (PDF) . LNCS. 488 . Skoczek. s. 1–12. CS1 maint: wiele nazw: lista autorów ( link )
  • Dershowitz, N. i Jouannaud, J.-P. i Klop, JW (1993). „Więcej problemów z przepisywaniem”. W Kirchner, Claude (red.). Przepisywanie technik i aplikacji, 5th Int. Conf., RTA-93 (PDF) . LNCS. 690 . Skoczek. pp. 468–487. CS1 maint: wiele nazw: lista autorów ( link )
  • Kennaway, R. i Klop, JW and Sleep, MR i de Vries, F.-J. (1995). „Infinitary Lambda Calculi and Böhm Models”. W Hsiang, Jieh (red.). 6th Int. Conf. na temat technik i aplikacji przepisywania (RTA) . LNCS. 914 . Skoczek. s. 257–270. CS1 maint: wiele nazw: lista autorów ( link )
  • Klop, JW (1998). „Śledzenie pochodzenia w przepisywaniu terminów (wykład na zaproszenie)”. W Tobias Nipkow (red.). Przepisywanie technik i aplikacji, 9 Int. Konf., RTA-98 . LNCS. 1379 . Skoczek. p. 1.

Bibliografia

Linki zewnętrzne